Statecharts: A visual formalism for complex systems
Science of Computer Programming
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel and Distributed Computation: Numerical Methods
Parallel and Distributed Computation: Numerical Methods
Numerical Recipes in FORTRAN: The Art of Scientific Computing
Numerical Recipes in FORTRAN: The Art of Scientific Computing
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Modularity for Timed and Hybrid Systems
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
A Modular Visual Model for Hybrid Systems
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Compositional Refinement for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Modeling and Simulation of Biomolecular Networks
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Accurate Event Detection for Simulating Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid System Models of Navigation Strategies for Games and Animations
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Series of Abstractions for Hybrid Automata
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Masaccio: A Formal Model for Embedded Components
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
A Framework for Reasoning about Animation Systems
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
Journal of Computer and System Sciences
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Model-Driven Development of Reliable Automotive Services
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
Computational Logic in Multi-Agent Systems
Composing reachability analyses of hybrid systems for safety and stability
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
A core language for executable models of cyber physical systems: work in progress report
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
R-Charon, a modeling language for reconfigurable hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Interchange format for hybrid systems: abstract semantics
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Bisimulation for general stochastic hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
An ontology-based approach to heterogeneous verification of embedded control systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
A dynamic component model for cyber physical systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Zélus: a synchronous language with ODEs
Proceedings of the 16th international conference on Hybrid systems: computation and control
Hi-index | 0.00 |
We propose a language, called Charon, for modular speci fication of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports building complex agents via the operations of instantiation, hiding, and parallel composition. For hierarchical description of the behavior of atomic components, Charon supports building complex modes via the operations of instantiation, scoping, and encapsulation. Features such as weak preemption, history retention, and externally defined Java functions, facilitate the description of complex discrete behavior. Continuous behavior can be specified using differential as well as algebraic constraints, and invariants restricting the flow spaces, all of which can be declared at various levels of the hierarchy. The modular structure of the language is not merely syntactic, but can be exploited during analysis. We illustrate this aspect by presenting a scheme for modular simulation in which each mode can be compiled solely based on the locally declared information to execute its discrete and continuous updates, and furthermore, submodes can integrate at a finer time scale than the enclosing modes.