|
Conferences in DBLP
- Haoxun Chen, Hans-Michael Hanisch
Control Synthesis of Hybrid Systems Based on Predicate Invariance. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:1-15 [Conf]
- Alongkrit Chutinan, Bruce H. Krogh
Computing Approximating Automata for a Class of Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:16-37 [Conf]
- Jennifer M. Davoren
On Hybrid Systems and the Modal µ-calculus. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:38-69 [Conf]
- Bart De Schutter, Bart De Moor
The Extended Linear Complementary Problem and the Modeling and Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:70-85 [Conf]
- Enrique D. Ferreira, Bruce H. Krogh
Controller Scheduling Using Neural Networks: Implementation and Experimental Results. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:86-99 [Conf]
- Jianping Gao, Qiwen Xu
Rigorous Design of a Fault Diagnosis and Isolation Algorithm. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:100-121 [Conf]
- Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:122-141 [Conf]
- Xenofon D. Koutsoukos, Panos J. Antsaklis
Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:142-162 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:163-185 [Conf]
- Gerardo Lafferriere, George J. Pappas, Shankar Sastry
Hybrid Systems with Finite Bisimulations. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:186-203 [Conf]
- Michael D. Lemmon, Christopher J. Bett
Extracting Stable Timed Automata from Switched Model Reference Systems. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:204-217 [Conf]
- Pieter J. Mosterman, Feng Zhao, Gautam Biswas
Sliding Mode Model Semantics and Simulation for Hybrid Systems. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:218-237 [Conf]
- Simin Nadjm-Tehrani
Time-Deterministic Hybrid Transition Systems. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:238-250 [Conf]
- Todd W. Neller
Heuristic Optimizaton and Dynamical System Safety Verification. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:251-261 [Conf]
- T. Parisini, Simona Sacone
A Hybrid Receding-Horizon Control Scheme for Nonlinear Discrete-Time Systems. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:262-278 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:279-303 [Conf]
- Mauno Rönkkö, Anders P. Ravn
Action Systems with Continuous Behaviour. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:304-323 [Conf]
- Conrado W. Seibel, Jean-Marie Farines, José E. R. Cury
Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:324-340 [Conf]
- E. Skafidas, Rob J. Evans, Iven M. Y. Mareels, Anil Nerode
Optimal Controller Switching for Stochastic Systems. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:341-355 [Conf]
- Le Yi Wang, Pramod P. Khargonekar, Ali Beydoun
Robust Control of Hybrid Systems: Performance Guided Strategies. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:356-389 [Conf]
- Howard Wong-Toi
Analysis of Slope-Parametric Rectangular Automata. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:390-413 [Conf]
- Xinyao Yu, Zongji Chen
Control of Interval Temporal Systems. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:414-428 [Conf]
- Feng Zhao, Shiou C. Loh, Jeff A. May
Phase-Space Nonlinear Control Toolbox: The Maglev Experience. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1997, pp:429-444 [Conf]
|