Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.):
Hybrid Systems II.
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 O. Andersen:
Hybrid Control of a Robot - A Case Study.
391-404
- Olivier 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
Last update Fri May 24 02:39:28 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
