default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShengbing Jiang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2017
[j15]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): 65-74 (2017)- 2014
- [j14]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): 296-297 (2014) - 2010
- [j13]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): 512-522 (2010) - [j12]Songyan Xu, Shengbing Jiang, Ratnesh Kumar:
Diagnosis of Dense-Time Systems Under Event and Timing Masks. IEEE Trans Autom. Sci. Eng. 7(4): 870-878 (2010) - 2007
- [j11]Wenbin Qiu, Ratnesh Kumar, Shengbing Jiang:
On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication. IEEE Trans. Autom. Control. 52(1): 114-116 (2007) - 2006
- [j10]Shengbing Jiang, Ratnesh Kumar:
Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications. SIAM J. Control. Optim. 44(6): 2079-2103 (2006) - [j9]Changyan Zhou, Ratnesh Kumar, Shengbing Jiang:
Control of nondeterministic discrete-event systems for bisimulation equivalence. IEEE Trans. Autom. Control. 51(5): 754-765 (2006) - [j8]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): 47-59 (2006) - 2005
- [j7]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): 463-475 (2005) - 2004
- [j6]Shengbing Jiang, Ratnesh Kumar:
Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. IEEE Trans. Autom. Control. 49(6): 934-945 (2004) - 2003
- [j5]Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia:
Optimal sensor selection for discrete-event systems with partial observation. IEEE Trans. Autom. Control. 48(3): 369-381 (2003) - [j4]Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia:
Diagnosis of repeated/intermittent failures in discrete event systems. IEEE Trans. Robotics Autom. 19(2): 310-323 (2003) - 2002
- [j3]Shengbing Jiang, Ratnesh Kumar:
Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization. IEEE Trans. Autom. Control. 47(9): 1438-1449 (2002) - 2001
- [j2]Shengbing Jiang, Zhongdong Huang, Vigyan Chandra, Ratnesh Kumar:
A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Trans. Autom. Control. 46(8): 1318-1321 (2001) - 2000
- [j1]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): 653-660 (2000)
Conference and Workshop Papers
- 2023
- [c22]Yao Hu, Xinyu Du, Shengbing Jiang:
Online LiDAR-to-Vehicle Alignment Using Lane Markings and Traffic Signs. CVPR Workshops 2023: 3348-3357 - 2021
- [c21]Bijay Raj Paudel, Danushka Senarathna, Haibo Wang, Spyros Tragoudas, Yao Hu, Shengbing Jiang:
Predicting YOLO Misdetection by Learning Grid Cell Consensus. ICMLA 2021: 643-648 - 2014
- [c20]Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar:
A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation. ICNSC 2014: 30-35 - 2011
- [c19]Changyan Zhou, Ratnesh Kumar, Shengbing Jiang:
Analysis of runtime data-log for software fault localization. ACC 2011: 5127-5132 - 2009
- [c18]Shengbing Jiang, Ratnesh Kumar:
Prevention of Sequential Message Loss in CAN Systems. COMPSAC (2) 2009: 479-484 - [c17]Shige Wang, Shengbing Jiang:
Allocating Software with Improved Resource Usage and Scheduling for Vehicle Control System Development. RTCSA 2009: 361-370 - 2008
- [c16]S. Xu, Ratnesh Kumar, Shengbing Jiang, S. Ramesh:
A simulation condition for correct asynchronous implementation of synchronous design. ACC 2008: 1728-1733 - [c15]Changyan Zhou, Ratnesh Kumar, Shengbing Jiang:
Keynote: Hierarchical Fault Detection in Embedded Control Software. COMPSAC 2008: 816-823 - [c14]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 - 2007
- [c13]Shengbing Jiang:
Reachability Analysis Of Linear Hybrid Automata By Using Counterexample Fragment Based Abstraction Refinement. ACC 2007: 4172-4177 - 2006
- [c12]Shengbing Jiang, Ratnesh Kumar:
Diagnosis of dense-time systems using digital-clocks. ACC 2006: 1-6 - [c11]Shengbing Jiang, Thomas E. Fuhrman, Sumit Kumar Jha:
Model Checking For Fault Explanation. CDC 2006: 404-409 - [c10]Shengbing Jiang:
A Decoupled Scheduling Approach For Distributed Real-Time Embedded Automotive Systems. IEEE Real Time Technology and Applications Symposium 2006: 191-198 - 2004
- [c9]Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu:
Control using nondeterministic supervisors for partially observed discrete event systems. ACC 2004: 4472-4476 - [c8]Changyan Zhou, Ratnesh Kumar, Shengbing Jiang:
Control of nondeterministic discrete event systems for bisimulation equivalence. ACC 2004: 4488-4492 - [c7]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: 5114-5119 - 2003
- [c6]Shengbing Jiang, Ratnesh Kumar:
Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications. CDC 2003: 3221-3226 - 2002
- [c5]Shengbing Jiang, Ratnesh Kumar:
Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. ACC 2002: 128-133 - [c4]Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia:
Diagnosis of repeated failures in discrete event systems. CDC 2002: 4000-4005 - [c3]Zhongdong Huang, Vigyan Chandra, Shengbing Jiang, Ratnesh Kumar:
Modeling discrete event systems with faults using a rules based modeling formalism. CDC 2002: 4012-4017 - 2001
- [c2]Shengbing Jiang, Vigyan Chandra, Ratnesh Kumar:
Decentralized control of discrete event systems with multiple local specifications. ACC 2001: 959-964 - [c1]Shengbing Jiang, Ratnesh Kumar:
Supervisory control of discrete event systems with CTL* temporal logic specifications. CDC 2001: 4122-4127
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
