related documents Rigorous simulation of hybrid dynamic systems with symbolic and interval methods Conferences Robust nonblocking supervisory control of discrete-event systems Conferences
