Compositional Refinement for Hierarchical Hybrid Systems

@inproceedings{Alur2001CompositionalRF,
  title={Compositional Refinement for Hierarchical Hybrid Systems},
  author={Rajeev Alur and Radu Grosu and Insup Lee and Oleg Sokolsky},
  booktitle={HSCC},
  year={2001}
}
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language Charon that allows modular specification 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… CONTINUE READING

Citations

Publications citing this paper.

FILTER CITATIONS BY YEAR

2001
2019

CITATION STATISTICS

  • 3 Highly Influenced Citations