Author:
Adzkiya Dieky,Zhang Yining,Abate Alessandro
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modelling and Simulation,Control and Systems Engineering
Reference36 articles.
1. Adzkiya D, Abate A (2013) VeriSiMPL: Verification via biSimulations of MPL models. In: Joshi K., Siegle M., Stoelinga M., D’Argenio P. (eds) Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST’13), Lecture Notes in Computer Science, vol. 8054, pp. 253–256 Springer, Heidelberg. sourceforge.net/projects/verisimpl/
2. Adzkiya D, De Schutter B, Abate A (2013) Finite abstractions of max-plus-linear systems. IEEE Trans Autom Control 58(12):3039–3053
3. Adzkiya D, De Schutter B, Abate A (2014a) Backward reachability of autonomous max-plus-linear systems. In: Proceedings of the 12th International Workshop on Discrete Event Systems (WODES’14), 117–122. Cachan, FR
4. Adzkiya D, De Schutter B, Abate A (2014b) Tools and algorithms for the construction and analysis of systems (TACAS’14). In: Ábrahám E, Havelund K (eds) Forward reachability computation for autonomous max-plus-linear systems. Lecture notes in computer science, vol 8413. Springer, Heidelberg, pp 248– 262
5. Adzkiya D, De Schutter B, Abate A (2015) Computational techniques for reachability analysis of max-plus-linear systems. Automatica 53(0):293–302
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献