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