default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHybrid Systems 1997
- Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry:
Hybrid Systems V, Proceedings of the Fifth International Workshop on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997. Lecture Notes in Computer Science 1567, Springer 1999, ISBN 3-540-65643-X - Haoxun Chen, Hans-Michael Hanisch:
Control Synthesis of Hybrid Systems Based on Predicate Invariance. 1-15 - Alongkrit Chutinan, Bruce H. Krogh:
Computing Approximating Automata for a Class of Linear Hybrid Systems. 16-37 - Jennifer M. Davoren:
On Hybrid Systems and the Modal µ-calculus. 38-69 - Bart De Schutter, Bart De Moor:
The Extended Linear Complementary Problem and the Modeling and Analysis of Hybrid Systems. 70-85 - Enrique D. Ferreira, Bruce H. Krogh:
Controller Scheduling Using Neural Networks: Implementation and Experimental Results. 86-99 - Jianping Gao, Qiwen Xu:
Rigorous Design of a Fault Diagnosis and Isolation Algorithm. 100-121 - Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems. 122-141 - Xenofon D. Koutsoukos, Panos J. Antsaklis:
Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties. 142-162 - 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 - Gerardo Lafferriere, George J. Pappas, Shankar Sastry:
Hybrid Systems with Finite Bisimulations. 186-203 - Michael D. Lemmon, Christopher J. Bett:
Extracting Stable Timed Automata from Switched Model Reference Systems. 204-217 - Pieter J. Mosterman, Feng Zhao, Gautam Biswas:
Sliding Mode Model Semantics and Simulation for Hybrid Systems. 218-237 - Simin Nadjm-Tehrani:
Time-Deterministic Hybrid Transition Systems. 238-250 - Todd W. Neller:
Heuristic Optimizaton and Dynamical System Safety Verification. 251-261 - Thomas Parisini, Simona Sacone:
A Hybrid Receding-Horizon Control Scheme for Nonlinear Discrete-Time Systems. 262-278 - 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 - Mauno Rönkkö, Anders P. Ravn:
Action Systems with Continuous Behaviour. 304-323 - Conrado W. Seibel, Jean-Marie Farines, José E. R. Cury:
Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles. 324-340 - Efstratios Skafidas, Robin J. Evans, Iven M. Y. Mareels, Anil Nerode:
Optimal Controller Switching for Stochastic Systems. 341-355 - Le Yi Wang, Pramod P. Khargonekar, Ali Beydoun:
Robust Control of Hybrid Systems: Performance Guided Strategies. 356-389 - Howard Wong-Toi:
Analysis of Slope-Parametric Rectangular Automata. 390-413 - Xinyao Yu, Zongji Chen:
Control of Interval Temporal Systems. 414-428 - Feng Zhao, Shiou C. Loh, Jeff A. May:
Phase-Space Nonlinear Control Toolbox: The Maglev Experience. 429-444
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-21 01:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
