Skip to main content
SpringerLink
Log in
Book cover

Hybrid Systems IV

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Panos Antsaklis
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wolf Kohn
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Anil Nerode
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Shankar Sastry
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1273)

Included in the following conference series:

Conference proceedings info: HS 1996.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Download chapter 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
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation