Project Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Cri

Project Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Cri

Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design WP4:Compositional Specification of Stochastic Hybrid Systems

On Control of Complex Stochastic Hybrid

Systems

Stefan Strubbe,Jan Willem Polderman,Agung Julius and

Arjan van der Schaft1

April,2005

Version: 1.0

Task number: 4.4

Deliverable number:D4.4

Contract:IST-2001-32460of European Commission

1University of Twente

Project Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Cri的相关文档搜索

相关文档