Hybrid Systems III

1. On-line fault monitoring of a class of hybrid systems using templates with dynamic time scaling

   • Lawrence E. Holloway

   Pages 258-269

2. Hierarchical design of a chemical concentration control system

   • Xu Qiwen, He Weidong

   Pages 270-281

3. Switched bond graphs as front-end to formal verification of hybrid systems

   • Jan-Erik Strömberg, Simin Nadjm-Tehrani, Jan L. Top

   Pages 282-293

4. Formal specification of stability in hybrid control systems

   • Wang Ji, He Weidong

   Pages 294-303

5. Requirements specifications for hybrid systems

   • Constance Heitmeyer

   Pages 304-314

6. Validation of hybrid systems by co-simulation

   • D. Sinclair, E. Holz, D. Witaszek, M. Wasowski

   Pages 315-326

7. Proofs from temporal hypotheses by symbolic simulation

   • Sanjai Narain

   Pages 327-339

8. On controlling timed discrete event systems

   • Darren D. Cofer, Vijay K. Garg

   Pages 340-349

9. Supervisory control of real-time systems using prioritized synchronization

   • Ratnesh Kumar, Mark A. Shayman

   Pages 350-361

10. ε-Approximation of differential inclusions

    • Anuj Puri, Vivek Borkar, Pravin Varaiya

    Pages 362-376

11. Linear phase-portrait approximations for nonlinear hybrid systems

    • Thomas A. Henzinger, Howard Wong-Toi

    Pages 377-388

12. Deciding reachability for planar multi-polynomial systems

    • Kārlis Čerāns, Juris Vīksna

    Pages 389-400

13. Modeling hybrid dynamical systems

    • Ingo Hoffmann, Karsten-Ulrich Klatt

    Pages 401-412

14. Stability of hybrid systems

    • Mikhail Kourjanski, Pravin Varaiya

    Pages 413-423

15. Model and stability of hybrid linear system

    • Hong Seong Park, Young Sin Kim, Wook Hyun Kwon, Sang Jeong Lee

    Pages 424-435

16. Interconnected automata and linear systems: A theoretical framework in discrete-time

    • Eduardo D. Sontag

    Pages 436-448

17. Modelling and verification of automated transit systems, using timed automata, invariants and simulations

    • Nancy Lynch

    Pages 449-463

18. An invariant based approach to the design of hybrid control systems containing clocks

    • James A. Stiver, Panos J. Antsaklis, Michael D. Lemmon

    Pages 464-474

19. Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems

    • Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury

    Pages 475-484

20. A data intensive computing approach to path planning and mode management for hybrid systems

    • S. Bailey, R. L. Grossman, L. Gu, D. Hanley

    Pages 485-495

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.

• Computer
• Digital Control Technology
• Digitale Steuerungstechnologie
• Formal Methods
• Formale Methoden
• Hybrid Systems
• Hybride Systeme
• System
• Systems Control
• automata
• formal specification
• formal verification
• modeling
• real-time
• verification

Policies and ethics