Seminar Hybrid Systems
Course type | Seminar |
---|---|
Instructors | Prof. Dr. Andreas Podelski Sergiy Bogomolov |
Kick-Off | Contact Sergiy Bogomolov to discuss a possible topic |
Presentation | Block-Seminarin the end of semester |
Presentation language |
English |
Credits | 6 |
Course Catalog | Hybrid Systems |
Topics
It should be possible to find PDF versions of all the papers without direct links using GoogleScholar. 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