search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Hybrid Systems

Keyphrases

Publications

volume 1567, 1999

Hybrid Systems V, Proceedings of the Fifth International Workshop on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997 Hybrid Systems 1567 (1999)

1997

Jianping Gao, Qiwen Xu
Rigorous Design of a Fault Diagnosis and Isolation Algorithm. Hybrid Systems (1997)
Jennifer M. Davoren
On Hybrid Systems and the Modal µ-calculus. Hybrid Systems (1997)
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. Hybrid Systems (1997)
Conrado W. Seibel, Jean-Marie Farines, José E. R. Cury
Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles. Hybrid Systems (1997)
Gerardo Lafferriere, George J. Pappas, Shankar Sastry
Hybrid Systems with Finite Bisimulations. Hybrid Systems (1997)
Haoxun Chen, Hans-Michael Hanisch
Control Synthesis of Hybrid Systems Based on Predicate Invariance. Hybrid Systems (1997)
Howard Wong-Toi
Analysis of Slope-Parametric Rectangular Automata. Hybrid Systems (1997)
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. Hybrid Systems (1997)
Todd W. Neller
Heuristic Optimizaton and Dynamical System Safety Verification. Hybrid Systems (1997)
Le Yi Wang, Pramod P. Khargonekar, Ali Beydoun
Robust Control of Hybrid Systems: Performance Guided Strategies. Hybrid Systems (1997)
Pieter J. Mosterman, Feng Zhao, Gautam Biswas
Sliding Mode Model Semantics and Simulation for Hybrid Systems. Hybrid Systems (1997)
Thomas Parisini, Simona Sacone
A Hybrid Receding-Horizon Control Scheme for Nonlinear Discrete-Time Systems. Hybrid Systems (1997)
Feng Zhao, Shiou C. Loh, Jeff A. May
Phase-Space Nonlinear Control Toolbox: The Maglev Experience. Hybrid Systems (1997)
Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems. Hybrid Systems (1997)
Mauno Rönkkö, Anders P. Ravn
Action Systems with Continuous Behaviour. Hybrid Systems (1997)
Xinyao Yu, Zongji Chen
Control of Interval Temporal Systems. Hybrid Systems (1997)
Simin Nadjm-Tehrani
Time-Deterministic Hybrid Transition Systems. Hybrid Systems (1997)
Efstratios Skafidas, Robin J. Evans, Iven M. Y. Mareels, Anil Nerode
Optimal Controller Switching for Stochastic Systems. Hybrid Systems (1997)
Enrique D. Ferreira, Bruce H. Krogh
Controller Scheduling Using Neural Networks: Implementation and Experimental Results. Hybrid Systems (1997)
Alongkrit Chutinan, Bruce H. Krogh
Computing Approximating Automata for a Class of Linear Hybrid Systems. Hybrid Systems (1997)
Xenofon D. Koutsoukos, Panos J. Antsaklis
Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties. Hybrid Systems (1997)
Bart De Schutter, Bart De Moor
The Extended Linear Complementary Problem and the Modeling and Analysis of Hybrid Systems. Hybrid Systems (1997)
Michael D. Lemmon, Christopher J. Bett
Extracting Stable Timed Automata from Switched Model Reference Systems. Hybrid Systems (1997)

volume 1273, 1997

Hybrid Systems IV, Proceedings of the Fourth International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1996 Hybrid Systems 1273 (1997)

1996

volume 1066, 1996

Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA Hybrid Systems 1066 (1996)

1995

volume 999, 1995

Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994 Hybrid Systems 999 (1995)