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||Contact Sergiy Bogomolov to discuss a possible topic
|Presentation||Block-Seminarin the end of semester
|Course Catalog||Hybrid Systems
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.
- Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra and Mahesh Viswanathan, Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems, VMCAI 2013
- Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia, Mining Requirements from Closed-Loop Control Models, HSCC 2013
- Hui Kong, Fei He, Xiaoyu Song, William Hung and Ming Gu,
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems, CAV 2013
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
- 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