theweeklyparagraph.blogspot.com
The Weekly Paragraph: November 2012
http://theweeklyparagraph.blogspot.com/2012_11_01_archive.html
Monday, November 26, 2012. Reviewing literature, implementing interval π, and planning the upcoming year. During the past week Adam has continued reviewing literature on reachability analysis and also worked on developing example models illustrating Zeno behaviour in Acumen. Among these is one of a "bouncing inverted pendulum. To all interpreters, and worked on developing a study plan for 2013 which, among other things, is to include the research questions that he will work on during the upcoming year.
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: Not for free
http://theweeklyparagraph.blogspot.com/2013/06/not-for-free.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.
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: September 2013
http://theweeklyparagraph.blogspot.com/2013_09_01_archive.html
Friday, September 13, 2013. Generator of Acumen models comprising multiple classes. In order to support the development of Acumen source code transformations, Adam has implemented. Of Acumen models (instances of the Prog. Type) comprising multiple Acumen classes ( ClassDefs. On a high level, the algorithm works as follows:. Generate list of leaf classes (containing no constructor calls or object field references) and add these to an environment (list of ClassDefs). Tuesday, September 3, 2013. Adam and Ke...
theweeklyparagraph.blogspot.com
The Weekly Paragraph: March 2013
http://theweeklyparagraph.blogspot.com/2013_03_01_archive.html
Monday, March 25, 2013. C 1-Lohner IVP solver specification. Last week Jan started looking at Zgliczyński's paper C 1-Lohner algorithm. As a source for the specification of an IVP solver that can produce narrowing enclosures for systems with asymptotically stable. Or a QR decomposition. A work sharing scheduler prototype for unbalanced workloads. During the past week Jan and Adam have been working on a work sharing scheduler and thread pool for Acumens parallel interpreter. The main issue the new sch...