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