scientific article; zbMATH DE number 1444338

zbMath0992.93040MaRDI QIDQ4953375

Yerang Hur, Radu Grosu, Vijay Kumar, Insup Lee, Rajeev Alur

Publication date: 8 September 2002

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

zbMATH Keywords

invariantssystem architecturemodular specificationCharoncomplex agentshierarchical descriptionmodular simulationdecentralized simulationinteracting hybrid systems

Mathematics Subject Classification ID

Hierarchical systems (93A13) Decentralized systems (93A14) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Software, source code, etc. for problems pertaining to systems and control theory (93-04)

Related Items (12)

Compositional modeling and refinement for hierarchical hybrid systems ⋮ Algorithmic analysis of polygonal hybrid systems. I: Reachability ⋮ Synthesizing SystemC Code from Delay Hybrid CSP ⋮ Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains ⋮ Monotonic hybrid systems ⋮ Modeling and simulation of cardiac tissue using hybrid I/O automata ⋮ An algebra of hybrid systems ⋮ A Hybrid Denotational Semantics for Hybrid Systems ⋮ A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems ⋮ Bio-PEPA with Events ⋮ Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

Uses Software

• Charon

This page was built for publication: