共 50 条
- [1] Guest editorial: Verification of hybrid systems [J]. EUROPEAN JOURNAL OF CONTROL, 2001, 7 (04) : 357 - 365
- [2] RECENT ADVANCES IN VERIFICATION AND ANALYSIS OF HYBRID SYSTEMS [J]. ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 1: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION, 2009, : IS13 - IS13
- [3] RECENT ADVANCES IN VERIFICATION AND ANALYSIS OF HYBRID SYSTEMS [J]. ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 3, 2009, : IS13 - IS13
- [4] RECENT ADVANCES IN VERIFICATION AND ANALYSIS OF HYBRID SYSTEMS [J]. ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 2: ROBOTICS AND AUTOMATION, 2009, : IS13 - IS13
- [5] Guest editorial: Recent advances in modeling and simulation of network systems [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2006, 82 (06): : 365 - 367
- [10] Editorial: Recent advances in control of energy conversion systems [J]. FRONTIERS IN ENERGY RESEARCH, 2022, 10