Discrete Hybrid Automata for Safe Cyber-physical System: An Astronautic Case Study.

Qiang Wang, Gang Yang, Xingshe Zhou, Yalei Yang

Browse the full DASC paper archive.