Author of the publication

Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems.

, and . ETFA, page 1-8. IEEE, (2015)

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

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)Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion., , and . IEEE Trans. Automat. Contr., 53 (10): 2425-2430 (2008)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)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)Pre-Biased Synchronous Charge Extraction for Triboelectric Nanogenerator., and . IEEE SENSORS, page 1-4. IEEE, (2019)Synthesis of Over-Approximating Inference-based Decentralized Supervisors for Discrete Event Systems., and . ACC, page 4268-4273. IEEE, (2007)Application of Model Predictive Control in Voltage Stabilization., , and . ACC, page 5916-5921. IEEE, (2007)