Shengbing Jiang

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 3

Top Topics

Hybrid Automata

Discrete Event Systems

Intelligent Vehicles

Top Venues

IET Cyper-Phys. Syst.: Theory & Appl.

Publications

Yao Hu, Xinyu Du, Shengbing Jiang
Online LiDAR-to-Vehicle Alignment Using Lane Markings and Traffic Signs. CVPR Workshops (2023)
Bijay Raj Paudel, Danushka Senarathna, Haibo Wang, Spyros Tragoudas, Yao Hu, Shengbing Jiang
Predicting YOLO Misdetection by Learning Grid Cell Consensus. ICMLA (2021)
Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar
Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata. IET Cyper-Phys. Syst.: Theory & Appl. 2 (2) (2017)
Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar
A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation. ICNSC (2014)
Ratnesh Kumar, Shengbing Jiang, Changyan Zhou
Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" [Automatica 47 (2011) 782-788]. Autom. 50 (1) (2014)
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
Analysis of runtime data-log for software fault localization. ACC (2011)
Shengbing Jiang, Ratnesh Kumar, Shigemasa Takai, Wenbin Qiu
Decentralized Control of Discrete-Event Systems With Multiple Local Specifications. IEEE Trans Autom. Sci. Eng. 7 (3) (2010)
Songyan Xu, Shengbing Jiang, Ratnesh Kumar
Diagnosis of Dense-Time Systems Under Event and Timing Masks. IEEE Trans Autom. Sci. Eng. 7 (4) (2010)
Shengbing Jiang, Ratnesh Kumar
Prevention of Sequential Message Loss in CAN Systems. COMPSAC (2) (2009)
Shige Wang, Shengbing Jiang
Allocating Software with Improved Resource Usage and Scheduling for Vehicle Control System Development. RTCSA (2009)
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)
S. Xu, Ratnesh Kumar, Shengbing Jiang, S. Ramesh
A simulation condition for correct asynchronous implementation of synchronous design. ACC (2008)
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
Keynote: Hierarchical Fault Detection in Embedded Control Software. COMPSAC (2008)
Shengbing Jiang
Reachability Analysis Of Linear Hybrid Automata By Using Counterexample Fragment Based Abstraction Refinement. ACC (2007)
Wenbin Qiu, Ratnesh Kumar, Shengbing Jiang
On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication. IEEE Trans. Autom. Control. 52 (1) (2007)
Shengbing Jiang, Ratnesh Kumar
Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications. SIAM J. Control. Optim. 44 (6) (2006)
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
Control of nondeterministic discrete-event systems for bisimulation equivalence. IEEE Trans. Autom. Control. 51 (5) (2006)
Shengbing Jiang, Thomas E. Fuhrman, Sumit Kumar Jha
Model Checking For Fault Explanation. CDC (2006)
Shengbing Jiang
A Decoupled Scheduling Approach For Distributed Real-Time Embedded Automotive Systems. IEEE Real Time Technology and Applications Symposium (2006)
Shengbing Jiang, Ratnesh Kumar
Diagnosis of dense-time systems using digital-clocks. ACC (2006)
Shengbing Jiang, Ratnesh Kumar
Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications. IEEE Trans Autom. Sci. Eng. 3 (1) (2006)
Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control. IEEE Trans. Autom. Control. 50 (4) (2005)
Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu
Control using nondeterministic supervisors for partially observed discrete event systems. ACC (2004)
Zhongdong Huang, Siddhartha Bhattacharyya, Vigs Chandra, Shengbing Jiang, Ratnesh Kumar
Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic. ACC (2004)
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
Control of nondeterministic discrete event systems for bisimulation equivalence. ACC (2004)
Shengbing Jiang, Ratnesh Kumar
Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. IEEE Trans. Autom. Control. 49 (6) (2004)
Shengbing Jiang, Ratnesh Kumar
Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications. CDC (2003)
Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia
Diagnosis of repeated/intermittent failures in discrete event systems. IEEE Trans. Robotics Autom. 19 (2) (2003)
Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia
Optimal sensor selection for discrete-event systems with partial observation. IEEE Trans. Autom. Control. 48 (3) (2003)
Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia
Diagnosis of repeated failures in discrete event systems. CDC (2002)
Shengbing Jiang, Ratnesh Kumar
Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. ACC (2002)
Shengbing Jiang, Ratnesh Kumar
Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization. IEEE Trans. Autom. Control. 47 (9) (2002)
Zhongdong Huang, Vigyan Chandra, Shengbing Jiang, Ratnesh Kumar
Modeling discrete event systems with faults using a rules based modeling formalism. CDC (2002)
Shengbing Jiang, Vigyan Chandra, Ratnesh Kumar
Decentralized control of discrete event systems with multiple local specifications. ACC (2001)
Shengbing Jiang, Zhongdong Huang, Vigyan Chandra, Ratnesh Kumar
A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Trans. Autom. Control. 46 (8) (2001)
Shengbing Jiang, Ratnesh Kumar
Supervisory control of discrete event systems with CTL* temporal logic specifications. CDC (2001)
Shengbing Jiang, Ratnesh Kumar
Decentralized control of discrete event systems with specializations to local control and concurrent systems. IEEE Trans. Syst. Man Cybern. Part B 30 (5) (2000)