Author of the publication

Quotient-based control synthesis for partially observed non-deterministic plants with mu-calculus specifications.

, and . CDC, page 5294-5299. IEEE, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion., , and . IEEE Trans. Automat. Contr., 53 (10): 2425-2430 (2008)A probabilistic language formalism for stochastic discrete-event systems., , and . IEEE Trans. Automat. Contr., 44 (2): 280-293 (1999)Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds., and . IEEE Trans. Automat. Contr., 60 (6): 1542-1553 (2015)Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems., and . ETFA, page 1-8. IEEE, (2015)A low profile, low-RF band, small antenna for underground, in-situ sensing and wireless energy-efficient transmission., , and . ICNSC, page 179-184. IEEE, (2014)Implementation of inference-based diagnosis: computing delay bound and ambiguity levels., and . Discrete Event Dynamic Systems, 28 (2): 315-348 (2018)A Computer Implementable Algorithm for the Synthesis of an Optimal Controller for Acyclic Discrete Event Processes., , and . ICRA, page 126-130. IEEE Robotics and Automation Society, (1999)Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata., , , and . IEEE Trans Autom. Sci. Eng., 8 (3): 560-569 (2011)Computation of the Precise Worst-Case Response Time of FlexRay Dynamic Messages., and . IEEE Trans Autom. Sci. Eng., 11 (2): 537-548 (2014)Polynomial Test for Stochastic Diagnosability of Discrete-Event Systems., and . IEEE Trans Autom. Sci. Eng., 10 (4): 969-979 (2013)