Hybrid Systems 1997

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