Hybrid systems II : [Proceedings of the Second International Hybrid Systems Workshop, held in Lyngby, Denmark, October 19-21, 1992]
This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
999 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 II, Panos Antsaklis ... [et al.], (eds), Berlin, Springer, 1995, 1 vol. (viii-567 p.), Lecture notes in computer science, 3-540-60472-3 • Hybrid Systems II, Texte imprimé, 9783662179888 |
Sumário:
- Symbolic controller synthesis for discrete and timed systems
- A Calculus of Stochastic Systems for the specification, simulation, and hidden state estimation of hybrid stochastic/non-stochastic systems
- Condensation of information from signals for process modeling and control
- On the automatic verification of systems with continuous variables and unbounded discrete data structures
- On dynamically consistent hybrid systems
- A self-learning neuro-fuzzy system
- Viable control of hybrid systems
- Modeling and stability issues in hybrid systems
- Hierarchical hybrid control: a case study
- Hybrid systems and quantum automata: Preliminary announcement
- Planar hybrid systems
- Programming in hybrid constraint languages
- A note on abstract interpretation strategies for hybrid automata
- HyTech: The Cornell Hybrid Technology Tool
- Hybrid systems as Finsler manifolds: Finite state control as approximation to connections
- Constructing hybrid control systems from robust linear control agents
- Controllers as fixed points of set-valued operators
- Verification of hybrid systems using abstractions
- Control of continuous plants by symbolic output feedback
- Hybrid control of a robot a case study
- Verifying time-bounded properties for ELECTRE reactive programs with stopwatch automata
- Inductive modeling: A framework marrying systems theory and non-monotonic reasoning
- Semantics and verification of hierarchical CRP programs
- Interface and controller design for hybrid control systems
- Hybrid objects
- Modelling of hybrid systems based on extended coloured Petri nets
- DEVS framework for modelling, simulation, analysis, and design of hybrid systems
- Synthesis of hybrid constraint-based controllers.