共 50 条
- [23] VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems Discrete Event Dynamic Systems, 2016, 26 : 109 - 145
- [24] Exact and approximate approaches to the identification of stochastic max-plus-linear systems DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2014, 24 (04): : 447 - 471
- [25] VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (01): : 109 - 145
- [26] Towards railway traffic management using switching Max-plus-linear systems DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (02): : 183 - 223
- [27] Analytic expressions in stochastic max-plus-linear algebra 2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 1608 - 1613
- [28] Max-plus-linear model-based predictive control for constrained hybrid systems: Linear programming solution Journal of Control Theory and Applications, 2007, 5 (1): : 71 - 76
- [30] Scheduling Inland Waterway Transport Vessels and Locks Using a Switching Max-Plus-Linear Systems Approach IEEE OPEN JOURNAL OF INTELLIGENT TRANSPORTATION SYSTEMS, 2022, 3 : 748 - 762