Testing, Generating, and Explaining Control Procedures for Reactive Hybrid Systems: The MARS Project

摘要

The focus of this project was to develop well-founded semantics for the language used to describe hybrid reactive systems. The project produced results in the semantic and representational issues of hybrid systems providing a firm theoretical ground for further development aimed towards important practical goals including: interactively composing structural and behavioral models of reactive hybrid systems from models of individual components; simulating such systems and their control procedures; testing whether such systems and their control procedures satisfy functional specifications, explaining simulation and testing results, and generating control procedures and command sequences for such systems that produce desired system behavior without violating the operating constraints of system components.