Modeling and verification of CPS based on uncertain hybrid timed automaton.

Na Chen, Shengling Geng, Lin Li

Browse the full DASC paper archive.