Author of the publication

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

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)Implementation of inference-based diagnosis: computing delay bound and ambiguity levels., and . Discrete Event Dynamic Systems, 28 (2): 315-348 (2018)Model-based automatic test generation for Simulink/Stateflow using extended finite automaton., and . CASE, page 857-862. IEEE, (2012)Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution., and . CASE, page 1089-1094. IEEE, (2013)Real Time Detection of Soil Moisture and Nitrates Using On-Board In-Situ Impedance Spectroscopy., , and . SMC, page 1081-1086. IEEE, (2013)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)Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata., , , and . IEEE Trans Autom. Sci. Eng., 8 (3): 560-569 (2011)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)