Inproceedings,

Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization.

, and .
RTSS, page 195-205. IEEE Computer Society, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews