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.
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).
effective-modeling.org
Effective Modeling: Invited talks at DSLRob and WS4C
http://www.effective-modeling.org/2011/10/invited-talks-at-dslrob-and-ws4c.html
Supported by the US NSF and the Swedish KK Foundation. Thursday, October 6, 2011. Invited talks at DSLRob and WS4C. Acumen was the the subject of the invited talk at both DSLRobt. Workshops. DSLRob focused on domain specific languages for robotics applications, whereas WS4C focused more broadly on cyber-physical systems. Invited talks at DSLRob and WS4C. Template images by hfng.
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.html
Supported by the US NSF and the Swedish KK Foundation. Monday, April 13, 2015. Hybrid Modeling Languages (HyML) @ Rice (May 7-8, 2015). Egypt Japan University of Science and Technology. University of Texas at Dallas. University of Texas at El-Paso. Halmstad University and Rice University. The meeting consists of invited talks and discussion sessions. It will take place in room 1070. A schedule for the meeting is forthcoming. For more information, please contact Walid Taha. Template images by hfng.
effective-modeling.org
Effective Modeling: Walid Taha
http://www.effective-modeling.org/p/walid-taha.html
Supported by the US NSF and the Swedish KK Foundation. Professor of Computer Science at Halmstad University and holds a part-time appointment as a research professor at University of Houston. He is interested. In the design, semantics, and implementation of programming and modeling languages . His current research focus is on modeling, rigorous simulation, and verification of cyber-physical systems, and leading the development of the. Experiences with A First Course on Cyber-Physical Systems.