scientific article; zbMATH DE number 1444338
zbMATH Open0992.93040MaRDI QIDQ4953375FDOQ4953375
Authors: Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee, Rajeev Alur 
Publication date: 8 September 2002
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (17)
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Modular and visual specification of hybrid systems: An introduction to HyCharts
- 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
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Compositional modeling and refinement for hierarchical hybrid systems
Uses Software
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)
