Symbolic approach to nonblocking and safe control of Extended Finite Automata - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson. Symbolic approach to nonblocking and safe control of Extended Finite Automata. In IEEE Conference on Automation Science and Engineering, CASE 2010, Toronto, ON, Canada, 21-24 August, 2010. pages 471-476, IEEE, 2010. [doi]

The following publications are possibly variants of this publication:

Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite AutomataLucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson. tase, 8(3):560-569, 2011. [doi]

runs on WebDSL