Hybrid Systems II

Symbolic controller synthesis for discrete and timed systems.- A Calculus of Stochastic Systems for the specification, simulation, and hidden state estimation of hybrid stochastic/non-stochastic systems.- Condensation of information from signals for process modeling and control.- On the automatic verification of systems with continuous variables and unbounded discrete data structures.- On dynamically consistent hybrid systems.- A self-learning neuro-fuzzy system.- Viable control of hybrid systems.- Modeling and stability issues in hybrid systems.- Hierarchical hybrid control: a case study.- Hybrid systems and quantum automata: Preliminary announcement.- Planar hybrid systems.- Programming in hybrid constraint languages.- A note on abstract interpretation strategies for hybrid automata.- HyTech: The Cornell Hybrid Technology Tool.- Hybrid systems as Finsler manifolds: Finite state control as approximation to connections.- Constructing hybrid control systems from robust linear control agents.- Controllers as fixed points of set-valued operators.- Verification of hybrid systems using abstractions.- Control of continuous plants by symbolic output feedback.- Hybrid control of a robot — a case study.- Verifying time-bounded properties for ELECTRE reactive programs with stopwatch automata.- Inductive modeling: A framework marrying systems theory and non-monotonic reasoning.- Semantics and verification of hierarchical CRP programs.- Interface and controller design for hybrid control systems.- Hybrid objects.- Modelling of hybrid systems based on extended coloured Petri nets.- DEVS framework for modelling, simulation, analysis, and design of hybrid systems.- Synthesis of hybrid constraint-based controllers.