default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHybrid Systems 1994
- Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry:
Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994. Lecture Notes in Computer Science 999, Springer 1995, ISBN 3-540-60472-3 - Eugene Asarin
, Oded Maler, Amir Pnueli:
Symbolic Controller Synthesis for Discrete and Timed Systems. 1-20 - Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic:
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. 21-44 - J. D. Birdwell, B. C. Moore:
Condensation of Information from Signals for Process Modeling and Control. 45-63 - Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. 64-85 - Peter E. Caines, Yuan-Jun Wei:
On Dynamically Consistent Hybrid Systems. 86-105 - Nicholas DeClaris, Mu-Chun Su:
A Self-Learning Neuro-Fuzzy System. 106-127 - Akash Deshpande, Pravin Varaiya:
Viable Control of Hybrid Systems. 128-147 - Murat Dogruel, Ümit Özgüner:
Modeling and Stability Issues in Hybrid Systems. 148-165 - Datta N. Godbole, John Lygeros, Shankar Sastry:
Hierarchical Hybrid Control: A Case Study. 166-190 - Robert L. Grossman, M. Sweedler:
Hybrid Systems and Quantum Automata: Preliminary Announcement. 191-201 - John Guckenheimer, Stewart Johnson:
Planar Hybrid Systems. 202-225 - Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow:
Programming in Hybrid Constraint Languages. 226-251 - Thomas A. Henzinger, Pei-Hsin Ho:
A Note on Abstract Interpretation Strategies for Hybrid Automata. 252-264 - Thomas A. Henzinger, Pei-Hsin Ho:
HYTECH: The Cornell HYbrid TECHnology Tool. 265-293 - Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections. 294-321 - Michael D. Lemmon, Christopher J. Bett, Peter T. Szymanski, Panos J. Antsaklis:
Constructing Hybrid Control Systems from Robust Linear Control Agents. 322-343 - Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
Controllers as Fixed Points of Set-Valued Operators. 344-358 - Anuj Puri, Pravin Varaiya:
Verification of Hybrid Systems Using Abstractions. 359-369 - Jörg Raisch:
Control of Continuous Plants by Symbolic Output Feedback. 370-390 - Anders P. Ravn, Hans Rischel, Finn Conrad, Torben Ole Andersen:
Hybrid Control of a Robot - A Case Study. 391-404 - Olivier F. Roux, Vlad Rusu:
Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. 405-416 - Hessam S. Sarjoughian, Bernard P. Zeigler:
Inductive Modeling: A Framework Marrying Systems Theory and Non-monotonic Reasoning. 417-435 - R. K. Shyamasundar, S. Ramesh:
Semantics and Verification of Hierarchical CRP Programs. 436-461 - James A. Stiver, Panos J. Antsaklis, Michael D. Lemmon:
Interface and Controller Design for Hybrid Control Systems. 462-492 - Michael Tittus, Bo Egardt:
Hybrid Objects. 493-508 - Yong Yao Yang, Derek A. Linkens, Stephen P. Banks:
Modelling of Hybrid Systems Based on Extended Coloured Petri Nets. 509-528 - Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, Herbert Praehofer:
DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems. 529-551 - Ying Zhang, Alan K. Mackworth:
Synthesis of Hybrid Constraint-Based Controllers. 552-567
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-18 23:45 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:
