Author of the publication

A probabilistic language formalism for stochastic discrete-event systems.

, , and . IEEE Trans. Automat. Contr., 44 (2): 280-293 (1999)

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

Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems., and . IEEE Trans. Automat. Contr., 52 (10): 1783-1794 (2007)Synthesis of Inference-Based Decentralized Control for Discrete Event Systems., and . IEEE Trans. Automat. Contr., 53 (2): 522-534 (2008)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)Comments on "Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" versus "Decentralized Failure Diagnosis of Discrete Event Systems": Complexity Clarification., and . IEEE Trans. Automat. Contr., 59 (5): 1391-1392 (2014)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)Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems., and . ETFA, page 1-8. IEEE, (2015)Real Time Detection of Soil Moisture and Nitrates Using On-Board In-Situ Impedance Spectroscopy., , and . SMC, page 1081-1086. IEEE, (2013)Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution., and . CASE, page 1089-1094. IEEE, (2013)