Decentralized control of discrete event systems with specializations to local control and concurrent systems. - Shengbing Jiang; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Part B, 2000)

Decentralized control of discrete event systems with multiple local specifications. - Shengbing Jiang; Vigyan Chandra; Ratnesh Kumar 001 (ACC, 2001)

A polynomial algorithm for testing diagnosability of discrete-event systems. - Shengbing Jiang; Zhongdong Huang; Vigyan Chandra; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2001)

Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. - Shengbing Jiang; Ratnesh Kumar 001 (ACC, 2002)

Modeling discrete event systems with faults using a rules based modeling formalism. - Zhongdong Huang; Vigyan Chandra; Shengbing Jiang; Ratnesh Kumar 001 (CDC, 2002)

Diagnosis of repeated failures in discrete event systems. - Shengbing Jiang; Ratnesh Kumar 001; Humberto E. Garcia (CDC, 2002)

Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization. - Shengbing Jiang; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2002)

Optimal sensor selection for discrete-event systems with partial observation. - Shengbing Jiang; Ratnesh Kumar 001; Humberto E. Garcia (IEEE Trans. Autom. Control., 2003)

Diagnosis of repeated/intermittent failures in discrete event systems. - Shengbing Jiang; Ratnesh Kumar 001; Humberto E. Garcia (IEEE Trans. Robotics Autom., 2003)

Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic. - Zhongdong Huang; Siddhartha Bhattacharyya; Vigs Chandra; Shengbing Jiang; Ratnesh Kumar 001 (ACC, 2004)

Control using nondeterministic supervisors for partially observed discrete event systems. - Ratnesh Kumar 001; Shengbing Jiang; Changyan Zhou; Wenbin Qiu (ACC, 2004)

Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. - Shengbing Jiang; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2004)

Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control. - Ratnesh Kumar 001; Shengbing Jiang; Changyan Zhou; Wenbin Qiu (IEEE Trans. Autom. Control., 2005)

Diagnosis of dense-time systems using digital-clocks. - Shengbing Jiang; Ratnesh Kumar 001 (ACC, 2006)

Model Checking For Fault Explanation. - Shengbing Jiang; Thomas E. Fuhrman; Sumit Kumar Jha 001 (CDC, 2006)

A Decoupled Scheduling Approach For Distributed Real-Time Embedded Automotive Systems. - Shengbing Jiang (IEEE Real Time Technology and Applications Symposium, 2006)

Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications. - Shengbing Jiang; Ratnesh Kumar 001 (SIAM J. Control. Optim., 2006)

Control of nondeterministic discrete-event systems for bisimulation equivalence. - Changyan Zhou; Ratnesh Kumar 001; Shengbing Jiang (IEEE Trans. Autom. Control., 2006)

Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications. - Shengbing Jiang; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2006)

Reachability Analysis Of Linear Hybrid Automata By Using Counterexample Fragment Based Abstraction Refinement. - Shengbing Jiang (ACC, 2007)

On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication. - Wenbin Qiu; Ratnesh Kumar 001; Shengbing Jiang (IEEE Trans. Autom. Control., 2007)

A simulation condition for correct asynchronous implementation of synchronous design. - S. Xu; Ratnesh Kumar 001; Shengbing Jiang; S. Ramesh 002 (ACC, 2008)

Keynote: Hierarchical Fault Detection in Embedded Control Software. - Changyan Zhou; Ratnesh Kumar 001; Shengbing Jiang (COMPSAC, 2008)

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. - Swarup Mohalik; A. C. Rajeev; Manoj G. Dixit; S. Ramesh 002; P. Vijay Suman; Paritosh K. Pandya; Shengbing Jiang (DAC, 2008)

Prevention of Sequential Message Loss in CAN Systems. - Shengbing Jiang; Ratnesh Kumar 001 (COMPSAC (2), 2009)

Allocating Software with Improved Resource Usage and Scheduling for Vehicle Control System Development. - Shige Wang; Shengbing Jiang (RTCSA, 2009)

Decentralized Control of Discrete-Event Systems With Multiple Local Specifications. - Shengbing Jiang; Ratnesh Kumar 001; Shigemasa Takai; Wenbin Qiu (IEEE Trans Autom. Sci. Eng., 2010)

Diagnosis of Dense-Time Systems Under Event and Timing Masks. - Songyan Xu; Shengbing Jiang; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2010)

Analysis of runtime data-log for software fault localization. - Changyan Zhou; Ratnesh Kumar 001; Shengbing Jiang (ACC, 2011)

A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation. - Hao Ren 004; Jing Huang 022; Shengbing Jiang; Ratnesh Kumar 001 (ICNSC, 2014)

Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" [Automatica 47 (2011) 782-788]. - Ratnesh Kumar 001; Shengbing Jiang; Changyan Zhou (Autom., 2014)

Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata. - Hao Ren 004; Jing Huang 022; Shengbing Jiang; Ratnesh Kumar 001 (IET Cyper-Phys. Syst.: Theory & Appl., 2017)

Predicting YOLO Misdetection by Learning Grid Cell Consensus. - Bijay Raj Paudel; Danushka Senarathna; Haibo Wang 005; Spyros Tragoudas; Yao Hu; Shengbing Jiang (ICMLA, 2021)

Online LiDAR-to-Vehicle Alignment Using Lane Markings and Traffic Signs. - Yao Hu; Xinyu Du; Shengbing Jiang (CVPR Workshops, 2023)