-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
Automated verification and synthesis of stochastic hybrid systems: A survey
Veröffentlicht in Automatica (Oxford)
VolltextArtikel -
15
-
16
On Approximate Opacity of Cyber-Physical Systems
Veröffentlicht in IEEE transactions on automatic control
VolltextArtikel -
17
Backstepping Design for Incremental Stability
Veröffentlicht in IEEE transactions on automatic control
VolltextArtikel -
18
Compositional abstraction-based synthesis for networks of stochastic switched systems
Veröffentlicht in Automatica (Oxford)
VolltextArtikel -
19
-
20