Seminar Hybrid Systems
The development of cyber physical systems (CPS) is considered to be the next computing revolution. Cyber physical systems are networked computational systems that interact with the physical world. Examples of such systems are autonomous cars, robots, intelligent energy-efficient buildings, embedded medical devices, etc. The systems like that require tight connection between discrete and continuous behavior. The design of CPS presents many challenges because of their complexity, safety requirements and real-time nature. Thus collaboration among people from different disciplines and between academics and industry is required to make progress in the area of CPS. In this seminar we will discuss different aspects of one of the most powerful formalisms to model CPS - hybrid automata.
|Instructors||Prof. Dr. Andreas Podelski
|Kick-Off||Friday, 4.05.2012, 4 pm, 052-00-016
|Presentation||30.07.2012 - 31.07.2012: Block-Seminar|
|Course Catalog||Hybrid Systems
- 22.06.2012: Paper
- 06.07.2012: Slides
- 30.07.2012 - 31.07.2012: Block-Seminar
TopicsIt should be possible to find PDF versions of all the papers without direct links using Google
Scholar. If you cannot find any of the papers below, please do not hesitate to contact Sergiy Bogomolov.
Pijush K. Ghosh and K.Vinod Kumar. Support function representation of convex bodies, its application in geometric computing, and some related representations. Computer Vision and Image Understanding, 72(3):379, 1998.
Benerecetti, M. and Faella, M. and Minopoli, S., Reachability games for linear hybrid systems, HSCC 2012
Aydin Gol, E. and Belta, C., Time-Constrained Temporal Logic Control of Multi-Affine System
Ashish Tiwari, Aditya Zutshi and Sriram Sankaranarayanan, Timed Relational Abstractions For Sampled Data Control Systems, CAV 2012
Frehse, G. and Jha, S. and Krogh, B., A counterexample-guided approach to parameter synthesis for linear hybrid automata, HSCC 2008
Thao Dang, Oded Maler and Romain Testylier. Accurate Hybridization of Non-linear Systems
- Sriram Sankaranarayanan. Automatic Invariant Generation for Algebraic Systems using Ideal Fixed Points.
- Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta and George Pappas. Monte-Carlo Techniques for Falsification of Temporal Properties of Non Linear Systems
Eugene Asarin, Thao Dang, Oded Maler and Romain Testylier. Using Redundant Constraints for Refinement