A compositional modelling and analysis framework for stochastic hybrid systems

By Hahn Ernst   Hartmanns Arnd   Hermanns Holger   Katoen Joost-Pieter  

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

Springer Publishing Company

Access to resources Recommend Favorite

Modelling and performance analysis of networked control systems under different driven modes

By Cong Shuang   Zheng Hua  

International Journal of Computer Applications in Technology, Vol. 34, Iss. 3, 2009-03 ,pp. : 192-198

Inderscience Publishers

Access to resources Recommend Favorite

On stochastic sensitivity control in discrete systems

By Bashkirtseva I.   Ryashko L.  

Automation and Remote Control, Vol. 71, Iss. 9, 2010-09 ,pp. : 1833-1848

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Coloured stochastic Petri nets modelling for the reliability and maintenance analysis of multi-state multi-unit systems

By Wang Zhouhang   Atli Maen   Adjallah H. Kondo  

Journal of Manufacturing Technology Management, Vol. 25, Iss. 4, 2014-04 ,pp. : 476-490

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

An individual approach to modelling emergent structure in termite swarm systems

By Feltell David   Bai Li   Jensen Henrik Jeldtoft  

International Journal of Modelling, Identification and Control, Vol. 3, Iss. 1, 2008-05 ,pp. : 29-40

Inderscience Publishers

Access to resources Recommend Favorite