scientific article; zbMATH DE number 1956650

zbMath1032.68104MaRDI QIDQ4418864

George J. Pappas, Paulo Tabuada

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2623/26230498.htm

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

Mathematics Subject Classification ID

Linear systems in control theory (93C05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Hybridization methods for the analysis of nonlinear systems ⋮ Symbolic models for control systems ⋮ Modal specifications for the control theory of discrete event systems ⋮ Temporal logic model predictive control ⋮ Bisimilar linear systems. ⋮ Multi-modal control using adaptive motion description languages ⋮ Inclusion dynamics hybrid automata ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

This page was built for publication: