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
9:30 - Modeling Aspects of Robot Arms and Automated Vehicles
Jyotirmoy Deshmukh, Toyota
11:30 - Formal Synthesis of Computational Kernels
11:30 - Formal Synthesis of Computational Kernels
Proof Theoretic Foundations of Normal Logic Programs
Gopal Gupta, University of Texas at Dallas
2:30 - Declarative Probabilistic Programming
2:30 - Declarative Probabilistic Programming
Molham Aref, LogicBlox
3:30 - Break
4:00 - Response Time Analysis of Functional Reactive Systems
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
5:00 - Panel: HyMLs in Education
7:00 - Dinner
Friday May 8th, 2015
8:00 - Breakfast
8:30 - First Steps toward Formal Controller Synthesis for Bipedal Robots
8:30 - First Steps toward Formal Controller Synthesis for Bipedal Robots
Aaron Ames, Texas A&M
9:30 - Computable Analysis as a Framework for Studying Continuous Systems
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.
10:15 - Break
10:45 - A Hyperdense Semantic Domain for Hybrid Dynamic Systems.
Gabor Simko, Google, Inc
11:30 - Computer-aided Proofs
11:30 - Computer-aided Proofs
Eugenio Moggi, University of Genova
2:30 - From Intervals Through Function Intervals
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
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.
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.
