Hybrid systems. [Proceedings of the Fifth International Hybrid Systems Workshop, held in Notre Dame, Indiana, September 11-13, 1997] V :
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , , |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
1567 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
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 V, [Proceedings of the Fifth International Hybrid Systems Workshop, held in Notre Dame, Indiana, September 11-13, 1997], Panos Antsaklis, Wolf Kohn, Michael Lemmon ... [et al.], (eds), 1999, Berlin, Springer, 1 vol. (X-444 p.), Lecture notes in computer science, 3-540-65643-X • Hybrid Systems V, Texte imprimé, 9783662213292 |
Spis treści:
- Control Synthesis of Hybrid Systems Based on Predicate Invariance
- Computing Approximating Automata for a Class of Linear Hybrid Systems
- On Hybrid Systems and the Modal -calculus
- The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems
- Controller Scheduling Using Neural Networks: Implementation and Experimental Results
- Rigorous Design of a Fault Diagnosis and Isolation Algorithm
- Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems
- Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties
- A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem
- Hybrid Systems with Finite Bisimulations
- Extracting Stable Timed Automata from Switched Model Reference Systems
- Sliding Mode Model Semantics and Simulation for Hybrid Systems
- Time-Deterministic Hybrid Transition Systems
- Heuristic Optimization and Dynamical System Safety Verification
- A Hybrid Receding Horizon Control Scheme for Nonlinear Discrete Time Systems
- Approximating Automata and Discrete Control for Continuous Systems Two Examples from Process Control
- Action Systems with Continuous Behaviour
- Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles
- Optimal Controller Switching for Stochastic Systems
- Robust Control of Hybrid Systems: Performance Guided Strategies
- Analysis of Slope-Parametric Rectangular Automata
- Control of Interval Temporal Systems
- Phase-Space Nonlinear Control Toolbox: The Maglev Experience.