From post

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.

 

Другие публикации лиц с тем же именем

Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications., и . SIAM J. Control and Optimization, 44 (6): 2079-2103 (2006)Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" Automatica 47 (2011) 782-788., , и . Autom., 50 (1): 296-297 (2014)Keynote: Hierarchical Fault Detection in Embedded Control Software., , и . COMPSAC, стр. 816-823. IEEE Computer Society, (2008)Prevention of Sequential Message Loss in CAN Systems., и . COMPSAC (2), стр. 479-484. IEEE Computer Society, (2009)978-0-7695-3726-9.Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications., и . IEEE Trans Autom. Sci. Eng., 3 (1): 47-59 (2006)Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control., , , и . IEEE Trans. Automat. Contr., 50 (4): 463-475 (2005)Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic., , , , и . ACC, стр. 5114-5119. IEEE, (2004)Predicting YOLO Misdetection by Learning Grid Cell Consensus., , , , , и . ICMLA, стр. 643-648. IEEE, (2021)Model Checking For Fault Explanation., , и . CDC, стр. 404-409. IEEE, (2006)Failure diagnosis of discrete-event systems with linear-time temporal logic specifications., и . IEEE Trans. Automat. Contr., 49 (6): 934-945 (2004)