Hybrid systems : computation and control : second International Workshop, HSCC 99, Berg en Dal, The Netherlands, March 29 31, 1999 : proceedings
This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC 99) to be held March 29- 31, 1999, in the village Berg en Dal near Nijmegen, The Netherlands. The rst workshop of this series was held in April 1998 at the University of Califor...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
1569 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Hybrid systems, computation and control, Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 1999, proceedings, Frits W. Vaandrager, Jan H. van Schuppen (eds.), 1999, New York, Springer, 1 vol. (X-270 p.), Lecture notes in computer science, 3-540-65734-7 • Hybrid Systems: Computation and Control, Texte imprimé, 9783662214725 |
Table des matières:
- SACRES: A Step Ahead in the Development of Critical Avionics Applications
- Approximating Hybrid System Dynamics for Analysis and Control
- High-Level Modeling and Analysis of an Air-Traffic Management System
- Geometric Categories, O-Minimal Structures and Control
- Polyhedral Flows in Hybrid Automata
- As Soon as Possible: Time Optimal Control for Timed Automata
- Verification of Hybrid Systems via Mathematical Programming
- Orthogonal Polyhedra: Representation and Computation
- A Geometric Approach to Bisimulation and Verification of Hybrid Systems
- Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
- Path Planning and Flight Controller Scheduling for an Autonomous Helicopter
- Reachability Analysis Using Polygonal Projections
- Scale-Independent Hysteresis Switching
- Well-Posedness of a Class of Piecewise Linear Systems with No Jumps
- A New Class of Decidable Hybrid Systems
- Synthesis of Control Software in a Layered Architecture from Hybrid Automata
- An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages
- Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions
- Integration of Analog and Discrete Synchronous Design
- Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis
- Refinement and Continuous Behaviour
- Computing Controllers for Nonlinear Hybrid Systems
- Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design.