A compositional modelling and analysis framework for stochastic hybrid systems

Author： Hahn Ernst Hartmanns Arnd Hermanns Holger Katoen Joost-Pieter

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.43, Iss.2, 2013-10, pp. : 191-232

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A framework of fuzzy hybrid systems for modelling and control

By Cheng Shu

International Journal of General Systems, Vol. 39, Iss. 2, 2010-02 ,pp. : 165-176

Taylor & Francis Ltd

Access to resources Recommend Favorite

Compositional Abstractions of Hybrid Control Systems

By Tabuada Paulo Pappas George J. Lima Pedro

Discrete Event Dynamic Systems, Vol. 14, Iss. 2, 2004-04 ,pp. : 203-238

Springer Publishing Company

Access to resources Recommend Favorite

Aggregation behaviour analysis, modelling and control of anisotropic stochastic swarm systems

By Xue Zhibin Zeng Jianchao

International Journal of Modelling, Identification and Control, Vol. 10, Iss. 3-4, 2010-08 ,pp. : 281-291

Inderscience Publishers

Access to resources Recommend Favorite

Granularity and disaggregation in compositional modelling with applications to ecological systems

By Keppens Jeroen Shen Qiang

Applied Intelligence, Vol. 25, Iss. 3, 2006-12 ,pp. : 269-292

Springer Publishing Company

Access to resources Recommend Favorite

A framework for video abstraction systems analysis and modelling from an operational point of view

By Valdés Víctor Martínez José

Multimedia Tools and Applications, Vol. 49, Iss. 1, 2010-08 ,pp. : 7-35

Springer Publishing Company

Access to resources Recommend Favorite