scientific article; zbMATH DE number 1301620

zbMath0942.93015MaRDI QIDQ4246819

George J. Pappas, Gerardo Lafferriere, Shankar S. Sastry

Publication date: 21 August 2000

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

zbMATH Keywords

formal verificationmodel theoryhybrid systembisimulationsplanar systemssubanalytic setsstratification theory

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (5)

Theory and computation of discrete state space decompositions for hybrid systems ⋮ Bisimilar Finite Abstractions of Interconnected Systems ⋮ An invariant-based approach to the design of hybrid control systems ⋮ Unnamed Item ⋮ Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

This page was built for publication: