共 22 条
[1]
Alur Rajeev, 1993, Hybrid Systems, P209, DOI [DOI 10.1007/3-540-57318-6_30, DOI 10.1007/3-540-57318-6]
[2]
[Anonymous], 1977, Applied mathematical programming
[3]
Bemporad A, 2000, IEEE DECIS CONTR P, P969, DOI 10.1109/CDC.2000.912899
[5]
Cho YC, 2000, IEEE DECIS CONTR P, P975, DOI 10.1109/CDC.2000.912900
[6]
GHOSH MK, 1992, PROCEEDINGS OF THE 31ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, P1061, DOI 10.1109/CDC.1992.371554
[7]
HENZINGER TA, 1997, P 24 INT C AUT LANG
[8]
Henzinger Thomas A, 1995, P 27 ANN ACM S THEOR
[9]
Heymann M, 2002, IEEE DECIS CONTR P, P2379, DOI 10.1109/CDC.2002.1184191
[10]
Synthesis and viability of minimally interventive legal controllers for hybrid systems
[J].
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS,
1998, 8 (02)
:105-135