Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry (Eds.):
Hybrid Systems V.
Lecture Notes in Computer Science 1567 Springer 1999, ISBN 3-540-65643-X BibTeX
@proceedings{DBLP:conf/hybrid/1997,
editor = {Panos J. Antsaklis and
Wolf Kohn and
Michael D. Lemmon and
Anil Nerode and
Shankar Sastry},
title = {Hybrid Systems V},
booktitle = {Hybrid Systems},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1567},
year = {1999},
isbn = {3-540-65643-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Haoxun Chen, Hans-Michael Hanisch:
Control Synthesis of Hybrid Systems Based on Predicate Invariance.
1-15
Electronic Edition (Springer LINK) BibTeX
- Alongkrit Chutinan, Bruce H. Krogh:
Computing Approximating Automata for a Class of Linear Hybrid Systems.
16-37
Electronic Edition (Springer LINK) BibTeX
- Jennifer M. Davoren:
On Hybrid Systems and the Modal µ-calculus.
38-69
Electronic Edition (Springer LINK) BibTeX
- Bart De Schutter, Bart De Moor:
The Extended Linear Complementary Problem and the Modeling and Analysis of Hybrid Systems.
70-85
Electronic Edition (Springer LINK) BibTeX
- Enrique D. Ferreira, Bruce H. Krogh:
Controller Scheduling Using Neural Networks: Implementation and Experimental Results.
86-99
Electronic Edition (Springer LINK) BibTeX
- Jianping Gao, Qiwen Xu:
Rigorous Design of a Fault Diagnosis and Isolation Algorithm.
100-121
Electronic Edition (Springer LINK) BibTeX
- Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems.
122-141
Electronic Edition (Springer LINK) BibTeX
- Xenofon D. Koutsoukos, Panos J. Antsaklis:
Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties.
142-162
Electronic Edition (Springer LINK) BibTeX
- Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler:
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.
163-185
Electronic Edition (Springer LINK) BibTeX
- Gerardo Lafferriere, George J. Pappas, Shankar Sastry:
Hybrid Systems with Finite Bisimulations.
186-203
Electronic Edition (Springer LINK) BibTeX
- Michael D. Lemmon, Christopher J. Bett:
Extracting Stable Timed Automata from Switched Model Reference Systems.
204-217
Electronic Edition (Springer LINK) BibTeX
- Pieter J. Mosterman, Feng Zhao, Gautam Biswas:
Sliding Mode Model Semantics and Simulation for Hybrid Systems.
218-237
Electronic Edition (Springer LINK) BibTeX
- Simin Nadjm-Tehrani:
Time-Deterministic Hybrid Transition Systems.
238-250
Electronic Edition (Springer LINK) BibTeX
- Todd W. Neller:
Heuristic Optimizaton and Dynamical System Safety Verification.
251-261
Electronic Edition (Springer LINK) BibTeX
- T. Parisini, Simona Sacone:
A Hybrid Receding-Horizon Control Scheme for Nonlinear Discrete-Time Systems.
262-278
Electronic Edition (Springer LINK) BibTeX
- Jörg Raisch, Eberhard Klein, Siu O'Young, Christian Meder, Alexander Itigin:
Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process Control.
279-303
Electronic Edition (Springer LINK) BibTeX
- Mauno Rönkkö, Anders P. Ravn:
Action Systems with Continuous Behaviour.
304-323
Electronic Edition (Springer LINK) BibTeX
- Conrado W. Seibel, Jean-Marie Farines, José E. R. Cury:
Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles.
324-340
Electronic Edition (Springer LINK) BibTeX
- E. Skafidas, Rob J. Evans, Iven M. Y. Mareels, Anil Nerode:
Optimal Controller Switching for Stochastic Systems.
341-355
Electronic Edition (Springer LINK) BibTeX
- Le Yi Wang, Pramod P. Khargonekar, Ali Beydoun:
Robust Control of Hybrid Systems: Performance Guided Strategies.
356-389
Electronic Edition (Springer LINK) BibTeX
- Howard Wong-Toi:
Analysis of Slope-Parametric Rectangular Automata.
390-413
Electronic Edition (Springer LINK) BibTeX
- Xinyao Yu, Zongji Chen:
Control of Interval Temporal Systems.
414-428
Electronic Edition (Springer LINK) BibTeX
- Feng Zhao, Shiou C. Loh, Jeff A. May:
Phase-Space Nonlinear Control Toolbox: The Maglev Experience.
429-444
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:15:32 2009
by Michael Ley (ley@uni-trier.de)