scientific article; zbMATH DE number 1301613

zbMath0928.93027MaRDI QIDQ4246811

J. M. Davoren

Publication date: 12 January 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

stabilityrobustnesshybrid automatasemanticssyntaxhybrid dynamical systemspropositional \(\mu\)-calculusdeductive proof

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Formal languages and automata (68Q45) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Modal logic (including the logic of norms) (03B45) Discrete event control/observation systems (93C65) Semantics in the theory of computing (68Q55) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Continuity controlled hybrid automata ⋮ Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions ⋮ Topologies, Continuity and Bisimulations ⋮ Languages and models for hybrid automata: a coalgebraic perspective ⋮ A formal framework for Hybrid Event B ⋮ Differential dynamic logic for hybrid systems