scientific article; zbMATH DE number 2085342

zbMath1050.93043MaRDI QIDQ4736608

No author found.

Publication date: 9 August 2004

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

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

zbMATH Keywords

hybrid systemscompositionabstractions

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (4)

Theory and computation of discrete state space decompositions for hybrid systems ⋮ CASP solutions for planning in hybrid domains ⋮ Bisimilar Finite Abstractions of Interconnected Systems ⋮ Proving Approximate Implementations for Probabilistic I/O Automata

This page was built for publication: