Category:LNCS 1066

From BibNetWiki

Lecture Notes in Computer Science, Volume 1066

Articles in category "LNCS 1066"

There are 49 articles in this category.

? ??-approximation of differential inclusions A A DES approach to control of hybrid dynamical systems A data-intensive computing approach to path planning and mode management for hybrid systems A formal description of hybrid systems A game-theoretic approach to hybrid system design A new approach to robust control of hybrid systems Abstract verification of structured dynamical systems An invariant-based approach to the design of hybrid control systems containing clocks C Compositional and uniform modeling of hybrid systems Controlled switching diffusions as hybrid processes D Deciding reachability for planar multi-polynomial systems Design and evaluation tools for automated highway systems Diagnostic model-checking for real-time systems E Examples of stabilization with hybrid feedback Extended RTL in the specification and verification of an industrial press F Fischer's protocol revisited: a simple proof using modal constraints

F cont. Formal specification of stability in hybrid control systems G General hybrid dynamical systems: modeling, analysis, and control H H gain schedule synthesis of supervisory hybrid control systems Hierarchical design of a chemical concentration control system Hybrid I/O automata Hybrid cc, hybrid automata, and program verification Hybrid control in sea traffic management systems Hybrid systems III: verification and control Hybrid systems: chattering approximation to relaxed controls I Interconnected automata and linear systems: a theoretical framework in discrete time L Linear phase-portrait approximations for nonlinear hybrid systems Logics vs. automata: the hybrid case M Model and stability of hybrid linear systems Modeling and verification of automated transit systems, using timed automata, invariants, and simulations Modeling hybrid dynamical systems O On controlling timed discrete event systems On-line fault monitoring of a class of hybrid systems using templates with dynamic time scaling

O cont. Optimal design of hybrid controllers for hybrid process systems P Proofs from temporal hypotheses by symbolic simulation R Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems Requirements specifications for hybrid systems S Specification and verification of hybrid dynamic systems with timed inverted sans serif aye-automata Stability of hybrid systems Supervisory control of real-time systems using prioritized synchronization Switched bond graphs as front-end to formal verification of hybrid systems T The residue of model reduction The tool KRONOS Timing analysis in COSPAN U UPPAAL: a tool suite for automatic verification of real-time systems V Validation of hybrid systems by co-simulation Verification of automated vehicle protection systems Verification of hybrid systems: monotonicity in the AHS control system Verifying clocked transition systems