 | 2010 |
| 11 |  | Shengbing Jiang,
Ratnesh Kumar,
Shigemasa Takai,
Wenbin Qiu:
Decentralized Control of Discrete-Event Systems With Multiple Local Specifications.
IEEE T. Automation Science and Engineering 7(3): 512-522 (2010) |
| 10 |  | Songyan Xu,
Shengbing Jiang,
Ratnesh Kumar:
Diagnosis of Dense-Time Systems Under Event and Timing Masks.
IEEE T. Automation Science and Engineering 7(4): 870-878 (2010) |
| 2009 |
| 9 |  | Shengbing Jiang,
Ratnesh Kumar:
Prevention of Sequential Message Loss in CAN Systems.
COMPSAC (2) 2009: 479-484 |
| 8 |  | Shige Wang,
Shengbing Jiang:
Allocating Software with Improved Resource Usage and Scheduling for Vehicle Control System Development.
RTCSA 2009: 361-370 |
| 2008 |
| 7 |  | Changyan Zhou,
Ratnesh Kumar,
Shengbing Jiang:
Keynote: Hierarchical Fault Detection in Embedded Control Software.
COMPSAC 2008: 816-823 |
| 6 |  | Swarup Mohalik,
A. C. Rajeev,
Manoj G. Dixit,
S. Ramesh,
P. Vijay Suman,
Paritosh K. Pandya,
Shengbing Jiang:
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.
DAC 2008: 296-299 |
| 2006 |
| 5 |  | Shengbing Jiang:
A Decoupled Scheduling Approach For Distributed Real-Time Embedded Automotive Systems.
IEEE Real Time Technology and Applications Symposium 2006: 191-198 |
| 4 |  | Shengbing Jiang,
Ratnesh Kumar:
Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications.
IEEE T. Automation Science and Engineering 3(1): 47-59 (2006) |
| 3 |  | Shengbing Jiang,
Ratnesh Kumar:
Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications.
SIAM J. Control and Optimization 44(6): 2079-2103 (2006) |
| 2003 |
| 2 |  | Shengbing Jiang,
Ratnesh Kumar,
Humberto E. Garcia:
Diagnosis of repeated/intermittent failures in discrete event systems.
IEEE Transactions on Robotics 19(2): 310-323 (2003) |
| 2000 |
| 1 |  | Shengbing Jiang,
Ratnesh Kumar:
Decentralized control of discrete event systems with specializations to local control and concurrent systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(5): 653-660 (2000) |