Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
verification
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations
Delays in feedback control loop, as induced by networked distributed control schemes, may have detrimental effects on control …
Bai Xue
,
Peter Nazier Mosaad
,
Martin Fränzle
,
Mingshuai Chen
,
Yangjia Li
,
Naijun Zhan
PDF
Cite
Slides
Video
DOI
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems
We introduce a toolchain MARS for Modelling, Analyzing and veRifying hybrid Systems we developed in the past years. Using MARS, we …
Mingshuai Chen
,
Xiao Han
,
Tao Tang
,
Shuling Wang
,
Mengfei Yang
,
Naijun Zhan
,
Hengjun Zhao
,
Liang Zou
PDF
Cite
Code
DOI
A Two-Way Path between Formal and Informal Design of Embedded Systems
It is well known that informal simulation-based design of embedded systems has a low initial cost and delivers early results; yet it …
Mingshuai Chen
,
Anders P. Ravn
,
Shuling Wang
,
Mengfei Yang
,
Naijun Zhan
PDF
Cite
Code
Slides
DOI
Validated Simulation-Based Verification of Delayed Differential Dynamics
Verification by simulation, based on covering the set of time-bounded trajectories of a dynamical system evolving from the initial …
Mingshuai Chen
,
Martin Fränzle
,
Yangjia Li
,
Peter Nazier Mosaad
,
Naijun Zhan
PDF
Cite
Code
Poster
Slides
DOI
Computing Reachable Sets of Linear Vector Fields Revisited
The reachability problem is one of the most important issues in the verification of hybrid systems. But unfortunately the reachable …
Ting Gan
,
Mingshuai Chen
,
Yangjia Li
,
Bican Xia
,
Naijun Zhan
PDF
Cite
Code
Slides
DOI
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF
An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and …
Ting Gan
,
Liyun Dai
,
Bican Xia
,
Naijun Zhan
,
Deepak Kapur
,
Mingshuai Chen
PDF
Cite
Code
Slides
DOI
Decidability of the Reachability for a Family of Linear Vector Fields
The reachability problem is one of the most important issues in the verification of hybrid systems. Computing the reachable sets of …
Ting Gan
,
Mingshuai Chen
,
Liyun Dai
,
Bican Xia
,
Naijun Zhan
PDF
Cite
Code
Slides
DOI
«
Cite
×