This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc.An action-based formal model for concurrent, real-time systems. Technical Report 95-1, ... of C.A.R. Hoare, pp. 171 - 189, Prentice Hall, ... In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, LNCS 999, pp. 265- 293 ... A User Guide to HyTech. http://www-cad.eecs.berkeley.edu/a¼tah/ Publications.
|Title||:||Hybrid Systems V|
|Author||:||Panos J. Antsaklis|
|Publisher||:||Springer Science & Business Media - 1999-02-24|