scientific article; zbMATH DE number 1444338
From MaRDI portal
Publication:4953375
invariantssystem architecturemodular specificationCharoncomplex agentshierarchical descriptionmodular simulationdecentralized simulationinteracting hybrid systems
Specification and verification (program logics, model checking, etc.) (68Q60) Hierarchical systems (93A13) Decentralized systems (93A14) 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)
Recommendations
Cited in
(17)- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- scientific article; zbMATH DE number 1794359 (Why is no real title available?)
- A Hybrid Denotational Semantics for Hybrid Systems
- An algebra of hybrid systems
- Hybrid Systems: Computation and Control
- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
- Bio-PEPA with Events
- Monotonic hybrid systems
- Modular and visual specification of hybrid systems: An introduction to HyCharts
- scientific article; zbMATH DE number 2080748 (Why is no real title available?)
- Spatial networks of hybrid I/O automata for modeling excitable tissue
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
- Synthesizing SystemC Code from Delay Hybrid CSP
- Modeling and simulation of cardiac tissue using hybrid I/O automata
- Compositional modeling and refinement for hierarchical hybrid systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953375)
