A polynomial algorithm for testing diagnosability of discrete-event systems S Jiang, Z Huang, V Chandra, R Kumar IEEE Transactions on Automatic Control 46 (8), 1318-1321, 2001 | 552 | 2001 |
Failure diagnosis of discrete-event systems with linear-time temporal logic specifications S Jiang, R Kumar IEEE Transactions on Automatic Control 49 (6), 934-945, 2004 | 245 | 2004 |
Optimal sensor selection for discrete-event systems with partial observation S Jiang, R Kumar, HE Garcia IEEE Transactions on Automatic Control 48 (3), 369-381, 2003 | 159 | 2003 |
Diagnosis of repeated/intermittent failures in discrete event systems S Jiang, R Kumar, HE Garcia IEEE transactions on robotics and automation 19 (2), 310-323, 2003 | 132 | 2003 |
Supervisory control of discrete event systems with CTL* temporal logic specifications S Jiang, R Kumar SIAM Journal on Control and Optimization 44 (6), 2079-2103, 2006 | 125 | 2006 |
Control of nondeterministic discrete-event systems for bisimulation equivalence C Zhou, R Kumar, S Jiang IEEE Transactions on Automatic Control 51 (5), 754-765, 2006 | 107 | 2006 |
Decentralized control of discrete event systems with specializations to local control and concurrent systems S Jiang, R Kumar IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics) 30 …, 2000 | 99 | 2000 |
Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications S Jiang, R Kumar IEEE Transactions on Automation Science and Engineering 3 (1), 47-59, 2006 | 71 | 2006 |
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts S Mohalik, AC Rajeev, MG Dixit, S Ramesh, PV Suman, PK Pandya, ... Proceedings of the 45th annual Design Automation Conference, 296-299, 2008 | 36 | 2008 |
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control R Kumar, S Jiang, C Zhou, W Qiu IEEE Transactions on Automatic Control 50 (4), 463-475, 2005 | 35 | 2005 |
Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization S Jiang, R Kumar IEEE Transactions on Automatic Control 47 (9), 1438-1449, 2002 | 34 | 2002 |
Modeling discrete event systems with faults using a rules-based modeling formalism Z Huang, V Chandra, S Jiang, R Kumar Mathematical and Computer Modelling of Dynamical Systems 9 (3), 233-254, 2003 | 33 | 2003 |
Controller architecture for monitoring health of an autonomous vehicle S Jiang, X Du, SW Holland, C Sankavaram, A Sarwar, S Duan US Patent 10,424,127, 2019 | 32 | 2019 |
Decentralized control of discrete-event systems with multiple local specifications S Jiang, R Kumar, S Takai, W Qiu IEEE transactions on automation science and engineering 7 (3), 512-522, 2009 | 30 | 2009 |
Verification of linear hybrid automaton S Jiang US Patent 8,275,729, 2012 | 29 | 2012 |
Diagnosis of repeated failures in discrete event systems S Jiang, R Kumar, HE Garcia Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 4 …, 2002 | 23 | 2002 |
Diagnosis of dense-time systems using digital-clocks S Jiang, R Kumar 2006 American Control Conference, 6 pp., 2006 | 20 | 2006 |
Method and apparatus for monitoring of an autonomous vehicle S Jiang, MA Salman, Y Zhang, S Zeng US Patent 10,678,247, 2020 | 19 | 2020 |
Method and apparatus for open-wire fault detection and diagnosis in a controller area network S Jiang, X Du, NA Wienckowski US Patent 9,568,533, 2017 | 18 | 2017 |
Method and apparatus for isolating a fault in a controller area network S Jiang US Patent 9,110,951, 2015 | 18 | 2015 |