共 50 条
- [21] On discrete event diagnosis methods for continuous systems 2007 MEDITERRANEAN CONFERENCE ON CONTROL & AUTOMATION, VOLS 1-4, 2007, : 327 - 332
- [24] Discrete event modelling language for continuous systems SIMULATION IN INDUSTRY: 9TH EUROPEAN SIMULATION SYMPOSIUM 1997, 1997, : 210 - 212
- [26] A event occurrence rules based compact modeling formalism for a class of discrete event systems PROCEEDINGS OF THE 2002 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2002, 1-6 : 724 - 729
- [28] Model Abstraction for Discrete-Event Systems Using a SAT Solver IEEE ACCESS, 2023, 11 : 17334 - 17347
- [29] Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques IFAC PAPERSONLINE, 2017, 50 (01): : 5023 - 5028