Hybrid Systems IV

1. Front Matter

   PDF

2. Bumpless switching in hybrid systems

   • Alan B. Arehart, William A. Wolovich

   Pages 1-17

3. A toolbox for proving and maintaining hybrid specifications

   • Michael S. Branicky, Ekaterina Dolginova, Nancy Lynch

   Pages 18-30

4. Simulation of hybrid systems

   • Michael S. Branicky, Sven Erik Mattsson

   Pages 31-56

5. Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem

   • Vladimir Brayman, Juris Vagners

   Pages 57-76

6. Decidability of hybrid systems with linear and nonlinear differential inclusions

   • M. Broucke, P. Varaiya

   Pages 77-92

7. Reliable implementation of hybrid control systems for advanced avionics

   Pages 93-112

8. SHIFT: A formalism and a programming language for dynamic networks of hybrid automata

   • Akash Deshpande, Aleks Göllü, Pravin Varaiya

   Pages 113-133

9. Synthesis of minimally restrictive legal controllers for a class of hybrid systems

   • Michael Heymann, Feng Lin, George Meyer

   Pages 134-159

10. Control theory, modal logic, and games

    • Julia. F. Knight, Brian Luense

    Pages 160-173

11. Agent based velocity control of highway systems

    • Wolf Kohn, Anil Nerode, B. Jeffrey Remmel

    Pages 174-214

12. A computational analysis of the reachability problem for a class of hybrid dynamical systems

    • John F. Kolen, Feng Zhao

    Pages 215-227

13. A class of rectangular hybrid systems with computable reach set

    • Mikhail Kourjanski, Pravin Varaiya

    Pages 228-234

14. Safe implementations of supervisory commands

    • Michael Lemmon, Christopher J. Bett

    Pages 235-247

15. Hybrid system games: Extraction of control automata with small topologies

    • Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis

    Pages 248-293

16. Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions

    • Ümit Özgüner, Cem Hatipoğlu, Altuğ İftar, Keith Redmill

    Pages 294-328

17. Towards continuous abstractions of dynamical and control systems

    • George J. Pappas, Shankar Sastry

    Pages 329-341

18. A totally ordered set of discrete abstractions for a given hybrid or continuous system

    • Jörg Raisch, Siu O'Young

    Pages 342-360

19. Comparing timed and hybrid automata as approximations of continuous systems

    • Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig

    Pages 361-377

20. Hybrid control models of next generation air traffic management

    • C. Tomlin, G. Pappas, J. Lygeros, D. Godbole, S. Sastry

    Pages 378-404

This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.

• Computer
• Computer Simulation
• Control Programs
• Hybrid Systems
• Management
• Nero
• Real-Time Systems
• Rule-Based Systems
• System
• algorithms
• programming
• programming language
• algorithm analysis and problem complexity

Policies and ethics