Home
Administrivia
Overview
Schedule
Problem Sets
Resources
[KFP07] H. Kress-Gazit, G. Fainekos, and G. Pappas. Where's Waldo? Sensor-Based Temporal Logic Motion Planning. Robotics and Automation, 2007 IEEE International Conference, 10-14 April 2007 Page(s):3116 - 3121.
[MLL06] Sayan Mitra, Daniel Liberzon, and Nancy Lynch. Verifying Average Dwell Time by solving optimization problems. In Proceedings of HSCC'06, LNCS 3927, pages 476-490, Springer 2006.
[HM98] Joao P. Hespanha and A. Stephen Morse. Stability of switched systems with average dwell-time. In Proceedings of 38th IEEE Conference on Decision and Control, 2655-2660, 1999.
[B98] Michael Branicky. Multiple Lyapunov functions and other analysis tools for switchedand hybrid systems. In IEEE Transactions on Automatic Control, Volume 43, Issue 4, Apr 1998 Page(s):475 - 482.
[ORR+96] S. Owre, S. Rajan, J. M. Rushby, N. Shankar and M. Srivas. PVS: Combining specification, proof checking, and model checking. CAV'96, pages 411--414, Springer-Verlag, 1996.
[HK02] Henzinger and Kirsch. Embedded Machine: Predictable, portable, real-time code. PLDI 2002, ACM press.
[HHK01] Henzinger, Horowitz, and Kirsch. Giotto: A time-triggered language for embedded programming. In Proceedings of the IEEE, pages 166–184. Springer-Verlag, 2001.
[Henz95] Thomas Henzinger, Peter Kopke, Anuj Puri, and Pravin Varaiya.
What's Decidable About Hybrid Automata?.
Journal of Computer and System Sciences, pages 373–382. ACM Press, 1995.
[ACH+95] Rajeev Alur et al.
The Algorithmic Analysis ofHybrid Systems.
Theoretical Computer Science, colume 138, pages 3-34, 1995.
[BDL04] Gerd Behrmann, Re David, and Kim G. Larsen.
A tutorial on UPPAAL.
In Proc. Formal Methods for the Design of Real-Time Systems (SFM-RT 2004), volume 3185 of LNCS, pages 200–236. Springer, 2004.
[LSV03] Nancy Lynch, Roberto Segala, and Frits Vaandrager.
Hybrid I/O automata.
Information and Computation, 185(1):105-157, August 2003.
[LT89] Nancy Lynch and Mark Tuttle.
An introduction to Input/Output automata.
CWI-Quarterly, 2(3):219-246, 1989.
[Lee08] Edward A. Lee.
Cyber physical systems: Design challenges. In International Symposium
on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May 2008.
Invited Paper.
[Hen07] Tom Henzinger.
Reliable Systems Engineering. Inaugural lecture at EPFL, 2007.
[DL03] Daniel Liberzon.
Switching in Systems and Control.
Birkhauser, Boston, MA, Jun 2003. Volume in series Systems and Control: Foundations and Applications. ISBN 0-8176-4297-8.
[BLL+96] Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi.
UPPAAL in 1995. In Tools and Algorithms for Construction and Analysis of Systems (TACAS), pages 431–434, 1996.
[CGP00] Edmund M. Clarke, Orna Grumberg, and Doron A. Peled.
Model Checking. MIT Press, 2000.
[BK08] Christel Baier and Joost-Pieter Katoen.
Principles of Model Checking. MIT Press, 2008.
This excerpt explains the
relationship amongst the different hybrid and timed automata models,
and the chronology of their development.
[MMT91] Michael Merritt, Francesmary Modugno, and Mark Tuttle.
Time constrained automata.
2nd International Conference of Concurrency Theory, volume 527, pages 408-423, 1991.
[Hen96] Thomas A. Henzinger.
The theory of hybrid automata.
In 11th Annual IEEE Symposium on Logic in Computer Science, pages 278-292, 1996.
[AD94] Rajeev Alur and David L. Dill.
A theory of timed automata.
Theoretical Computer Science, 126:183-235, 1994.
[MS00] Olaf Müller and Thomas Stauner.
Modelling and verification using linear hybrid automata-a case study.
Mathematical and Computer Modelling of Dynamical Systems, 6(1):71-89,2000.