Shengbing Jiang

According to our database, Shengbing Jiang authored at least 34 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Online LiDAR-to-Vehicle Alignment Using Lane Markings and Traffic Signs.

Yao Hu, Xinyu Du, Shengbing Jiang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2021

Predicting YOLO Misdetection by Learning Grid Cell Consensus.

Bijay Raj Paudel, Danushka Senarathna, Haibo Wang, Spyros Tragoudas, Yao Hu, Shengbing Jiang

Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

2017

Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata.

Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar

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

2014

Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" [Automatica 47 (2011) 782-788].

Ratnesh Kumar, Shengbing Jiang, Changyan Zhou

Autom., 2014

A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation.

Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar

Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

2011

Analysis of runtime data-log for software fault localization.

Changyan Zhou, Ratnesh Kumar, Shengbing Jiang

Proceedings of the American Control Conference, 2011

2010

Diagnosis of Dense-Time Systems Under Event and Timing Masks.

Songyan Xu, Shengbing Jiang, Ratnesh Kumar

IEEE Trans Autom. Sci. Eng., 2010

Decentralized Control of Discrete-Event Systems With Multiple Local Specifications.

Shengbing Jiang, Ratnesh Kumar, Shigemasa Takai, Wenbin Qiu

IEEE Trans Autom. Sci. Eng., 2010

2009

Allocating Software with Improved Resource Usage and Scheduling for Vehicle Control System Development.

Shige Wang, Shengbing Jiang

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Prevention of Sequential Message Loss in CAN Systems.

Shengbing Jiang, Ratnesh Kumar

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

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, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang

Proceedings of the 45th Design Automation Conference, 2008

Keynote: Hierarchical Fault Detection in Embedded Control Software.

Changyan Zhou, Ratnesh Kumar, Shengbing Jiang

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

A simulation condition for correct asynchronous implementation of synchronous design.

S. Xu, Ratnesh Kumar, Shengbing Jiang, S. Ramesh

Proceedings of the American Control Conference, 2008

2007

On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication.

Wenbin Qiu, Ratnesh Kumar, Shengbing Jiang

IEEE Trans. Autom. Control., 2007

Reachability Analysis Of Linear Hybrid Automata By Using Counterexample Fragment Based Abstraction Refinement.

Shengbing Jiang

Proceedings of the American Control Conference, 2007

2006

Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications.

Shengbing Jiang, Ratnesh Kumar

IEEE Trans Autom. Sci. Eng., 2006

Control of nondeterministic discrete-event systems for bisimulation equivalence.

Changyan Zhou, Ratnesh Kumar, Shengbing Jiang

IEEE Trans. Autom. Control., 2006

Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications.

Shengbing Jiang, Ratnesh Kumar

SIAM J. Control. Optim., 2006

A Decoupled Scheduling Approach For Distributed Real-Time Embedded Automotive Systems.

Shengbing Jiang

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Model Checking For Fault Explanation.

Shengbing Jiang, Thomas E. Fuhrman, Sumit Kumar Jha

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Diagnosis of dense-time systems using digital-clocks.

Shengbing Jiang, Ratnesh Kumar

Proceedings of the American Control Conference, 2006

2005

Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control.

Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu

IEEE Trans. Autom. Control., 2005

2004

Failure diagnosis of discrete-event systems with linear-time temporal logic specifications.

Shengbing Jiang, Ratnesh Kumar

IEEE Trans. Autom. Control., 2004

Control using nondeterministic supervisors for partially observed discrete event systems.

Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu

Proceedings of the 2004 American Control Conference, 2004

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

Proceedings of the 2004 American Control Conference, 2004

2003

Diagnosis of repeated/intermittent failures in discrete event systems.

Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia

IEEE Trans. Robotics Autom., 2003

Optimal sensor selection for discrete-event systems with partial observation.

Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia

IEEE Trans. Autom. Control., 2003

2002

Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization.

Shengbing Jiang, Ratnesh Kumar

IEEE Trans. Autom. Control., 2002

Diagnosis of repeated failures in discrete event systems.

Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Modeling discrete event systems with faults using a rules based modeling formalism.

Zhongdong Huang, Vigyan Chandra, Shengbing Jiang, Ratnesh Kumar

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications.

Shengbing Jiang, Ratnesh Kumar

Proceedings of the American Control Conference, 2002

2001

A polynomial algorithm for testing diagnosability of discrete-event systems.

Shengbing Jiang, Zhongdong Huang, Vigyan Chandra, Ratnesh Kumar

IEEE Trans. Autom. Control., 2001

Decentralized control of discrete event systems with multiple local specifications.

Shengbing Jiang, Vigyan Chandra, Ratnesh Kumar

Proceedings of the American Control Conference, 2001

2000

Decentralized control of discrete event systems with specializations to local control and concurrent systems.

Shengbing Jiang, Ratnesh Kumar

IEEE Trans. Syst. Man Cybern. Part B, 2000