Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
delay
Indecision and Delays are the Parents of Failure
The possible interactions between a controller and its environment can naturally be modelled as the arena of a two-player game, and …
Mingshuai Chen
,
Martin Fränzle
,
Yangjia Li
,
Peter Nazier Mosaad
,
Naijun Zhan
PDF
Cite
Code
Slides
Video
DOI
Taming Delays in Dynamical Systems
Delayed coupling between state variables occurs regularly in technical dynamical systems, especially embedded control. As it …
Shenghua Feng
,
Mingshuai Chen
,
Naijun Zhan
,
Martin Fränzle
,
Bai Xue
PDF
Cite
Slides
DOI
Artifact Evaluated
Verification and Synthesis of Time-Delayed Dynamical Systems
Conventional embedded systems have over the past two decades vividly evolved into an open, interconnected form that integrates …
Mingshuai Chen
Cite
Slides
CAS-President Special Award
What's to Come is Still Unsure
The possible interactions between a controller and its environment can naturally be modelled as the arena of a two-player game, and …
Mingshuai Chen
,
Martin Fränzle
,
Yangjia Li
,
Peter Nazier Mosaad
,
Naijun Zhan
PDF
Cite
Code
Slides
Video
DOI
Distinguished Paper Award
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
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
Cite
×