Hybrid systems : computation and control : first International Workshop, HSCC'98, Berkeley, California, USA, April 1998 : proceedings
This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998. The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical method...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
1386 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
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, first International Workshop, HSCC'98, Berkeley, California, USA, April 1998, proceedings, Thomas A. Henzinger, Shankar Sastry (eds.), 1998, New York, Springer, 1 volume (VIII-415 pages), Lecture notes in computer science, 3-540-64358-3 • Hybrid Systems: Computation and Control, Texte imprimé, 9783662183311 |
İçindekiler:
- Equations on timed languages
- Hybrid control for automotive engine management: The cut-off case
- Hybrid control of automotive powertrain systems: A case study
- On the composition of hybrid systems
- An equivalence between a control network and a switched hybrid system
- Hybrid cc with interval constraints
- Reachability analysis via face lifting
- Automotive control revisited linear inequalities as approximation of reachable sets
- Switching controllers based on neural network estimates of stability regions and controller performance
- A logic for the specification of continuous systems
- Integrating projections
- Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems
- Reachability verification for hybrid automata
- Subanalytic stratifications and bisimulations
- Integrated design and simulation of hybrid systems
- Hierarchical hybrid systems: Partition deformations and applications to the acrobot system
- Formal verification of safety-critical hybrid systems
- Strings of vehicles: Modeling and safety conditions
- An approach to the verification of the Center-TRACON automation system
- Deductive verification of hybrid systems using step
- Reduction and decomposition of differential automata: Theory and applications
- Optimization of generalized solutions of nonlinear hybrid (discrete-continuous) systems
- Information-based optimization approaches to dynamical system safety verification
- Synthesizing controllers for nonlinear hybrid systems
- A sufficient condition for controllability of a class of hybrid systems
- Hybrid regular expressions
- Stabilization of systems with changing dynamics.