ECE/CS 584 CPS Verification: Abstractions Part 2.

views comments

Review of forward simulation relations;
Reachability of rational time automata, multi-rate automata, rectangular hybrid automata

	Contact Technology Services to report an issue, offer feedback, or request assistance.
	Technology Services Home \| Kaltura Help \| Privacy Policy
	Illinois Media Space, © 2022 Board of Trustees of the University of Illinois

Related Media