Li Jiao

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Switching controller synthesis for delay hybrid systems under perturbations Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Synthesizing SystemC Code from Delay Hybrid CSP Programming Languages and Systems	2022-12-09	Paper
Switching controller synthesis for time-delayed hybrid systems SCIENTIA SINICA Mathematica	2022-03-21	Paper
Abstraction-based incremental inductive coverability for Petri nets	2022-03-21	Paper
Approximate bisimulation and discretization of hybrid CSP	2020-01-03	Paper
Difference bound constraint abstraction for timed automata reachability checking Formal Techniques for Distributed Objects, Components, and Systems	2016-10-19	Paper
Trace abstraction refinement for timed automata Automated Technology for Verification and Analysis	2015-12-17	Paper
Using transition set sequences to partition behaviors of Petri nets Acta Informatica	2012-03-23	Paper
Inverse constrained minimum spanning tree problem under Hamming distance	2011-10-05	Paper
Property-preserving Petri net process algebra in software engineering	2011-06-23	Paper
Inverse cost limit of constrained minimum spanning tree problem under Hamming distance	2010-11-05	Paper
Canonical transition set semantics for Petri nets Applications and Theory of Petri Nets	2010-06-22	Paper
A note on regular Petri nets Information Processing Letters	2010-06-09	Paper
A precongruence format for should testing preorder The Journal of Logic and Algebraic Programming	2010-05-27	Paper
Refining and verifying regular Petri nets International Journal of Systems Science. Principles and Applications of Systems and Integration	2008-03-18	Paper
scientific article; zbMATH DE number 5140768 (Why is no real title available?)	2007-04-05	Paper
Petri net refinement and its application in system design	2006-05-19	Paper
Some time estimates of Lévy process on \(p\)-adics	2006-01-26	Paper
scientific article; zbMATH DE number 2247706 (Why is no real title available?)	2006-01-16	Paper
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties International Journal of Foundations of Computer Science	2005-10-19	Paper
On liveness and boundedness of asymmetric choice nets Theoretical Computer Science	2004-10-27	Paper
scientific article; zbMATH DE number 2088663 (Why is no real title available?)	2004-08-12	Paper
Notes on liveness and boundedness of extended strong asymmetric choice nets. II Journal of Computer Science and Technology	2002-04-03	Paper

Research outcomes over time

This page was built for person: Li Jiao