Hybrid SystemsSpringer, 1995 - Hybrid computers Vols. for 1996- consist of papers presented at the 4th- International Conference on Hybrid Systems. |
Contents
Symbolic Controller Synthesis for Discrete and Timed Systems | 1 |
A Calculus of Stochastic Systems for the Specification Simulation | 21 |
A Benveniste B C Levy E Fabre and P Le Guernic | 45 |
Copyright | |
23 other sections not shown
Other editions - View all
Common terms and phrases
abstract algebra algorithm analysis approach automata behavior C₁ c₂ calculus of variations clock components Computer Science consider constraints continuous control automaton control law control location defined Definition denote DEVS differential equation differential inclusion digitization discrete event system dynamical system ESTEREL example exists Figure finite set Finsler Finsler manifolds flow formal formula function given graph hence hybrid automaton hybrid control systems hybrid systems hyperrectangle hypersurface HYTECH IEEE implemented initial input input/output integer interface interval invariant iterative lane language layer linear hybrid logic Lyapunov function manifold method Nerode networks node operator output partition phase plant model plant symbols reachability problem reactor real-time robot S₁ satisfies segments semantics sensor sequence signal simulation space specification stopwatch strategy structure subset switching synchronous t₁ target region temperature Theorem theory transition variables vector field verification y₁