effective-modeling.org
Effective Modeling: Hybrid Modeling Languages (HyML) @ Rice (May 7-8, 2015)
http://www.effective-modeling.org/2015/04/hybrid-modeling-languages-hyml-rice-may_26.html
Supported by the US NSF and the Swedish KK Foundation. Sunday, April 26, 2015. Hybrid Modeling Languages (HyML) @ Rice (May 7-8, 2015). Thursday May 7th, 2015. 8:30 - The Acumen Project. Halmstad University and Rice University. 9:30 - Modeling Aspects of Robot Arms and Automated Vehicles. 10:15 - Simulation-guided Formal Analysis. 11:30 - Formal Synthesis of Computational Kernels. 1:30 - Coinduction in Logic Programming:. Proof Theoretic Foundations of Normal Logic Programs. University of Texas at Dallas.
effective-modeling.org
Effective Modeling: Finding Zeno
http://www.effective-modeling.org/2013/06/finding-zeno.html
Supported by the US NSF and the Swedish KK Foundation. Monday, June 10, 2013. Remember the story about Zeno's paradox, with Achilles and the tortoise? Well, now we know how to do a computer simulation of that story :-). Last week our first paper on enclosures and hybrid systems (entitled, " Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point. Was accepted for publication at the First IEEE Conference of Cyber-Physical Systems, Networks, and Applications ( CPSNA 2013.
effective-modeling.org
Effective Modeling: Feature article at Halmstad University
http://www.effective-modeling.org/2010/12/feature-article-at-halmstad-university.html
Supported by the US NSF and the Swedish KK Foundation. Monday, December 13, 2010. Feature article at Halmstad University. About our research was featured on the front page of the website for Halmstad University. The article focused on intelligent cooperative systems, which are an important class of systems where we can expect to see significant innovation in the future. Feature article at Halmstad University. Template images by hfng.
effective-modeling.org
Effective Modeling: NAO Halmstad Group's First Experiment
http://www.effective-modeling.org/2013/05/nao-halmstad-groups-first-experiment.html
Supported by the US NSF and the Swedish KK Foundation. Sunday, May 5, 2013. NAO Halmstad Group's First Experiment. Jawad, Yingfu, and Ayonga (Texas A&M) worked hard this weekend to carry out a series of experiments based on new control code developed by the AMBER lab at Texas A&M. The new code, which aims to produce stable human-like walking, was tested on several surfaces both indoors and outdoors. The following video. Shows a walk on the asphalt between the F and R buildings:. Template images by hfng.
effective-modeling.org
Effective Modeling: Two Special Guests Visit the NAO Halmstad Group
http://www.effective-modeling.org/2013/05/two-special-guests-visit-nao-halmstad.html
Supported by the US NSF and the Swedish KK Foundation. Saturday, May 11, 2013. Two Special Guests Visit the NAO Halmstad Group. Two guests who are getting ready to graduate from Kindergarten visited Halmstad University last Friday to meet Jonson and Mörner, two members of the NAO Halmstad Group. The visit was hosted by Jonas Jonson (no relation), Alexey Taktarov, Yingfu Zeng, Jawad Masood, and Walid Taha. (See more pictures from visit. Two Special Guests Visit the NAO Halmstad Group.
theweeklyparagraph.blogspot.com
The Weekly Paragraph: June 2013
http://theweeklyparagraph.blogspot.com/2013_06_01_archive.html
Monday, June 10, 2013. Since last week Jan has extended the Boolean expression language supported by the Acumen enclosure interpreter to include disjunction and logical negation (not). The main difficulty with the former was to extend the constraint solver used to narrow initial condition boxes while performing piecewise IVP solving, and the domains of guard and invariant predicates during event detection and handling. In particular, the intersection operation used by the event tree algorithm. Well, now...
theweeklyparagraph.blogspot.com
The Weekly Paragraph: Summer school on testing
http://theweeklyparagraph.blogspot.com/2013/06/summer-school-on-testing.html
Monday, June 10, 2013. Summer school on testing. During the past week, Adam attended the Third Halmstad Summer School on Testing. Topics covered both theoretical aspects of testing and applied tool-based sessions and included both testing and formal verification. Generator-driven testing was a common theme to most of the courses. Adam found ProofPad. The course on ScalaCheck, given by its creator Rickard Nilsson (and author of the soon-to-be-released ScalaCheck: The Definitive Guide.
effective-modeling.org
Effective Modeling: People
http://www.effective-modeling.org/p/people.html
Supported by the US NSF and the Swedish KK Foundation. Walid Taha (Director, 2010-). Robert Cartwright (Co-Director, 2010-). Adam Duracz (PhD Student, 2011-). Yingfu Zeng (PhD Student, 2012-). Kevin Atkinson (Post-doc, 2013-). Jawad Masood (Post-doc, 2013-). Feri Bartha (Post-doc, 2014-). Marcia O'Malley, Mechanical Engineering, Rice University (2010-). Aaron Ames, Mechanical Engineering, Texas A&M (2010-). Visitors (Present and Past). Eugenio Moggi (Professor, University of Genova, 2014/4/22-30).
