Measurability and Safety Verification for Stochastic Hybrid Systems

BIB
Fränzle, Martin and Hahn, Ernst Moritz Hahn and Hermanns, Holgers and Wolovick, Nicolas and Zhang, Lijun
Hybrid Systems: Computation and Control, 13th International Conference, HSCC 2011, Chicago, USA, Proceedings
01 / 2011
inproceedings
MoVeS
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances