Sunday, April 26, 2015

Hybrid Modeling Languages (HyML) @ Rice (May 7-8, 2015)

Rice University will host the second Hybrid Modeling Languages (HyML) Meeting, organized by the Professors Taha and Cartwright. The topics covered by the meeting include modeling of cyber-physical systems, validated numerics, and formal semantics. The meeting provides a forum for presenting work representing the state of the art in these topics, and is intended to facilitate continued and new collaborations on research and education across these areas.

Meeting Program

Thursday May 7th, 2015

  8:00 - Breakfast
  8:30 - The Acumen Project
             Walid Taha, Halmstad University and Rice University
  9:30 - Modeling Aspects of Robot Arms and Automated Vehicles
             Roland Philippsen, Google, Inc
10:45 - Break
10:15 - Simulation-guided Formal Analysis
             Jyotirmoy Deshmukh, Toyota
11:30 - Formal Synthesis of Computational Kernels
             Franz Franchetti, Carnegie Mellon University
12:15 - Lunch
  1:30 - Coinduction in Logic Programming: 
             Proof Theoretic Foundations of Normal Logic Programs
             Gopal Gupta, University of Texas at Dallas
  2:30 - Declarative Probabilistic Programming
             Molham Aref, LogicBlox
  3:30 - Break
  4:00 - Response Time Analysis of Functional Reactive Systems
             Albert Cheng, University of Houston
  5:00 - Panel: HyMLs in Education
  7:00 - Dinner

Friday May 8th, 2015

  8:00 - Breakfast
  8:30 - Humanoid Gait
             Aaron Ames, Texas A&M
  9:30 - Computable Analysis as a Framework for Studying Continuous Systems
             Walid Gomaa, Egypt Japan University of Science and Technology
10:15 - Break
10:45 - A Hyperdense Semantic Domain for Hybrid Dynamic Systems.
             Gabor Simko, Google, Inc
11:30 - Computer-aided Proofs
             Ferenc Bartha, Rice University
12:15 - Lunch
  1:30 - Partial Continuous Maps
             Eugenio Moggi, University of Genova
  2:30 - From Intervals Through Function Intervals 
             to a General Description of Imprecise Probabilities
             Vlad Kreinovich, University of Texas at El-Paso
  3:30 - Break
  4:00 - Numeric-Symbolic Reachability Analysis of Hybrid Systems
             Sriram Sankaranarayanan, University of Colorado
  5:00 - Panel: A Roadmap for HyML Research
  7:00 - Dinner

The meeting consists of invited talks and discussion sessions.  It will take place in room 1070 of Duncan Hall.  A schedule for the meeting is forthcoming.  For more information, please contact Walid Taha.

Monday, April 13, 2015

Hybrid Modeling Languages (HyML) @ Rice (May 7-8, 2015)

Rice University will host the second Hybrid Modeling Languages (HyML) Meeting, organized by the Professors Taha and Cartwright. The topics covered by the meeting include modeling of cyber-physical systems, validated numerics, and formal semantics. The meeting provides a forum for presenting work representing the state of the art in these topics, and is intended to facilitate continued and new collaborations on research and education across these areas.  Speakers at the meeting include:
The meeting consists of invited talks and discussion sessions.  It will take place in room 1070 of Duncan Hall.  A schedule for the meeting is forthcoming.  For more information, please contact Walid Taha.

Friday, December 19, 2014

New Acumen Release (2014/12/1)

A new release of Acumen (2014/12/1) is now available.  This release features several enhancements, including switching to software rendering of 3D graphics, which makes the distributed executable fully functional on any computer that has Java installed. The latest semantics has more strict error checking, catching more inconsistencies your specification. Experimental support for matrix operations has also been included.

The following video showcases an example that comes with this distribution:



An updated user reference guide is available through the Help menu.  The examples have also been reorganized for easier access.  Essentially the same distribution was used successfully in the most recent edition of the Cyber-Physical Systems course taught at Halmstad University.