scientific article; zbMATH DE number 1444338
From MaRDI portal
Publication:4953375
Charoncomplex agentsdecentralized simulationhierarchical descriptioninteracting hybrid systemsinvariantsmodular simulationmodular specificationsystem architecture
Specification and verification (program logics, model checking, etc.) (68Q60) Software, source code, etc. for problems pertaining to systems and control theory (93-04) Hierarchical systems (93A13) Decentralized systems (93A14) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Recommendations
Cited in
(17)- An algebra of hybrid systems
- Modeling and simulation of cardiac tissue using hybrid I/O automata
- Compositional modeling and refinement for hierarchical hybrid systems
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Monotonic hybrid systems
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- 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
- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
- Bio-PEPA with Events
- scientific article; zbMATH DE number 2080748 (Why is no real title available?)
- scientific article; zbMATH DE number 1794359 (Why is no real title available?)
- Synthesizing SystemC Code from Delay Hybrid CSP
- A Hybrid Denotational Semantics for Hybrid Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Hybrid Systems: Computation and Control
- Modular and visual specification of hybrid systems: An introduction to HyCharts
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)
