Local Refinement of l-complete Approximations for Supervisory Control of Hybrid Systems - Yang, Jung-Min; Moor, Thomas; Raisch, Jörg (Workshop on Discrete Event Systems, 2018)
Keywords: discrete event systems; l-complete approximations; Hybrid systems; supervisory control; local refinement