共 55 条
[1]
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
[J].
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2020,
2020, 12288
:161-177
[2]
Alsaba M, 2006, ICINCO 2006: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics, P79
[5]
Astrom KarlJ., 2013, COMPUTER CONTROLLED
[6]
Baccelli F., 1992, SYNCHRONIZATION LINE
[8]
Blyth TS, 1972, RESIDUATION THEORY, V102
[10]
Boyer M, 2008, FUND INFORM, V88, P225