Hybrid systems IV /
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1997]
|
| Series: | Lecture notes in computer science ;
1273. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Bumpless switching in hybrid systems / A.B. Arehart and W.A. Wolovich
- A toolbox for proving and maintaining hybrid specifications / M.S. Branicky, E. Dolginova, and N. Lynch
- Simulation of hybrid systems / M.S. Branicky and S.E. Mattsson
- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem / V. Brayman and J. Vagners
- Decidability of hybrid systems with linear and nonlinear differential inclusions / M. Broucke and P. Varaiya
- Reliable implementation of hybrid control systems for advanced avionics / D.D. Cofer
- SHIFT : a formalism and a programming language for dynamic networks of hybrid automata / A. Deshpande, A. Göllü and P. Varaiya
- Synthesis of minimally restrictive legal controllers for a class of hybrid systems / M. Heymann, F. Lin and G. Meyer
- Control theory, modal logic, and games / J.F. Knight and B. Luense
- Agent based velocity control of highway systems / W. Kohn, A. Nerode and J.B. Remmel
- A computational analysis of the reachability problem for a class of hybrid dynamical systems / J.F. Kolen and F. Zhao
- A class of rectangular hybrid systems with computable reach set / M. Kourjanski and P. Varaiya
- Safe implementations of supervisory commands / M. Lemmon and C.J. Bett
- Hybrid system games : extraction of control automata with small topologies / A. Nerode, J.B. Remmel and A. Yakhnis
- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions / O. Özgüner [and others]
- Towards continuous abstractions of dynamical and control systems / G.J. Pappas and S. Sastry
- A totally ordered set of discrete abstractions for a given hybrid or continuous system / J. Raisch and S. O'Young
- Comparing timed and hybrid automata as approximations of continuous systems / O. Stursberg [and others]
- Hybrid control models of next generation air traffic management / C. Tomlin [and others].