共 50 条
- [1] Max-plus algebra and max-plus linear discrete event systems: An introduction WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 36 - 42
- [2] Computation of the Transient in Max-Plus Linear Systems via SMT-Solving FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2020, 2020, 12288 : 161 - 177
- [3] On the eigenstructure of a class of max-plus linear systems 2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 1823 - 1828
- [6] Tropical Abstractions of Max-Plus Linear Systems FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2018, 2018, 11022 : 271 - 287
- [7] Reachability for Interval Max-Plus Linear Systems PROCEEDINGS OF THE 36TH CHINESE CONTROL CONFERENCE (CCC 2017), 2017, : 2392 - 2396
- [10] Structural Controllability of Switching Max-Plus Linear Systems IFAC PAPERSONLINE, 2020, 53 (02): : 1936 - 1942