Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
control
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
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
Cite
×