Communicating sequential processes
Communicating sequential processes
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
IEEE Spectrum
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The Unified Modeling Language user guide
The Unified Modeling Language user guide
JMOCHA: a model checking tool that exploits design structure
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
Symbolic Model Checking
A Calculus of Communicating Systems
A Calculus of Communicating Systems
What's Ahead for Embedded Software?
Computer
A Framework and Architecture for Multirobot Coordination
ISER '00 Experimental Robotics VII
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Compositional Refinement 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
Construction of Abstract State Graphs with PVS
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Experience with Predicate Abstraction
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Counterexample-Guided Abstraction Refinement
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Reachability Analysis of Hybrid Systems via Predicate Abstraction
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Hybrid dynamic systems: relating Chi to hybrid automata
Proceedings of the 35th conference on Winter simulation: driving innovation
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Journal of Visual Languages and Computing
Modeling collaborations with dynamic structural adaptation in mechatronic UML
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Model-driven architecture for embedded software: A synopsis and an example
Science of Computer Programming
Development of SUT-CARG car-like robots
ACMOS'08 Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation
SUT-CARG car-like robots: their electronics and control architecture
WSEAS Transactions on Circuits and Systems
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient mode enumeration of compositional hybrid systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Model-driven development with Mechatronic UML
Graph transformations and model-driven engineering
HiLeS2: model driven embedded system virtual prototype generation
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Modular verification of safe online-reconfiguration for proactive components in mechatronic UML
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Component-Based Software Development for Embedded Systems
Hybrid input-output conformance and test generation
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Applied formal methods – from CSP to executable hybrid specifications
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Bit-precise formal verification of discrete-time MATLAB/Simulink models using SMT solving
Proceedings of the Eleventh ACM International Conference on Embedded Software
Hi-index | 0.00 |
This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy, and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools, and is supported by a formal semantics with an accompanying compositional theory of refinement. We illustrate the benefits of CHARON in design of embedded control software using examples from automated highways concerning vehicle coordination.