Shengbing Jiang

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