TimeSaturday, 4 June 2016
Keynote09:00-10:00Sanjoy Baruah (University of North Carolina at Chapel Hill, USA)
Analysis-based approaches to achieving timing predictability
10:00-10:30Coffee Break
Invited talks10:30-11:15
Alessandro Abate (University of Oxford, UK)
Data-driven and model-based quantitative verification and correct-by-design synthesis of CPS
Sriram Sankaranarayanan (University of Colorado, Boulder, USA)
Automatic synthesis of controllers from specifications using control certificates
Invited talks13:30-14:15
Georgios Fainekos (Arizona State University, USA)
Formal requirement elicitation and debugging for testing and verification of cyber-physical systems
Jyotirmoy Deshmukh (Toyota Technical Center, Gardena, CA, USA)
Formal methods for powertrain control software
15:00-15:30Coffee Break
Contributions15:30-15:50 Masashi Mizoguchi and Toshimitsu Ushio.
Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems
15:50-16:10 Tobias Kappé, Farhad Arbab, Carolyn Talcott.
A Compositional Framework for Preference-Aware Agents
16:10-16:30 Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi.
On Nonlinear Prices in Timed Automata
16:30-16:50 Morteza Mohaqeqi and Mohammadreza Mousavi.
Towards an Approximate Conformance Relation for Hybrid I/O Automata
16:50-17:10 Adina Aniculaesei, Daniel Arnsberger, Falk Howar, Andreas Rausch.
Towards the Verification of Safety-critical Autonomous Systems in Unknown Environments
17:10-17:30 Hyejin Joo, Kyoung-Soo We, Seunggon Kim, Chang-Gun Lee.
An End-to-End Tool for Developing CPSs from Design to Implementation
17:30-17:40 Closing the workshop

Last modified: Tuesday April 19 17:03:24 GMT 2016

© V2CPS 2016