共 50 条
- [2] Modelling and analysis of stochastic hybrid systems IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS, 2006, 153 (05): : 520 - 535
- [3] A compositional modelling and analysis framework for stochastic hybrid systems Formal Methods in System Design, 2013, 43 : 191 - 232
- [4] Modelling, analysis and control design of hybrid dynamical systems JOURNAL OF ELECTRICAL ENGINEERING-ELEKTROTECHNICKY CASOPIS, 2019, 70 (03): : 176 - 186
- [7] Hybrid Modelling as a Tool for Analysis of Information Systems Security PROCEEDINGS OF THE 2016 IEEE NORTH WEST RUSSIA SECTION YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING CONFERENCE (ELCONRUSNW), 2016, : 259 - 261
- [9] Occupation measure methods for modelling and analysis of biological hybrid systems IFAC PAPERSONLINE, 2018, 51 (16): : 181 - 186
- [10] Algebraic approach for modelling and analysis of nonlinear hybrid dynamical systems 2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 1890 - +