( en | de | ru )

 

Disambiguation of "Jiang, Shengbing"

Author of the publication

copydeleteadd this publication to your clipboard
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.

, , , , , , and . DAC, page 296-299. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ping Jiang

Jiang Yi

Qiu Jiang

Xin Jiang

Kaiyun Jiang

 

Other publications of authors with the same name

Prevention of Sequential Message Loss in CAN Systems., and . COMPSAC (2), page 479-484. IEEE Computer Society, (2009)978-0-7695-3726-9.Keynote: Hierarchical Fault Detection in Embedded Control Software., , and . COMPSAC, page 816-823. IEEE Computer Society, (2008)Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control., , , and . IEEE Trans. Automat. Contr., 50 (4): 463-475 (2005)Predicting YOLO Misdetection by Learning Grid Cell Consensus., , , , , and . ICMLA, page 643-648. IEEE, (2021)Model Checking For Fault Explanation., , and . CDC, page 404-409. IEEE, (2006)Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic., , , , and . ACC, page 5114-5119. IEEE, (2004)Optimal sensor selection for discrete-event systems with partial observation., , and . IEEE Trans. Automat. Contr., 48 (3): 369-381 (2003)Diagnosis of repeated failures in discrete event systems., , and . CDC, page 4000-4005. IEEE, (2002)Diagnosis of dense-time systems using digital-clocks., and . ACC, page 1-6. IEEE, (2006)Control using nondeterministic supervisors for partially observed discrete event systems., , , and . ACC, page 4472-4476. IEEE, (2004)