Anil Nerode

Hybrid Systems - Lecture Notes in Computer Science Anil Nerode

Marc Notes: Papers presented at a workshop held Oct. 19-21, 1992 at the Technical University, Lyngby, Denmark. Table of Contents: Verifying hybrid systems.- An extended duration calculus for hybrid real-time systems.- Towards refining temporal specifications into hybrid systems.- Hybrid systems in TLA+.- Hybrid models with fairness and distributed clocks.- A compositional approach to the design of hybrid systems.- An approach to the description and analysis of hybrid systems.- Integration Graphs: A class of decidable hybrid systems.- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems.- Hybrid Systems: the SIGNAL approach.- A dynamical simulation facility for hybrid systems.- Event identification and intelligent hybrid control.- Multiple agent hybrid control architecture.- Models for hybrid systems: Automata, topologies, controllability, observability.- Some remarks about flows in hybrid systems.- Hybrid system modeling and autonomous control systems.- Fault accommodation in feedback control systems.- On formal support for industrial-scale requirements analysis.- A formal approach to computer systems requirements documentation. Publisher Marketing: An introduction to hybrid systems, networks of interacting digital and analog devices. The applications of these systems are also explored, in such areas as computer-aided manufacturing, consumer electronics and control systems for inherently unstable aircraft.

Contributor Bio:  Nerode, Anil Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University. Contributor Bio:  Rischel, Hans Hans Rischel is a former Associate Professor in the Department of Informatics and Mathematical Modelling at the Technical University of Denmark. He is the author of Introduction to Programming Using SML (with Michael R. Hansen).