共 36 条
[11]
Mixed-integer quadratic programming is in NP
[J].
MATHEMATICAL PROGRAMMING,
2017, 162 (1-2)
:225-240
[14]
Gonzalez H, 2010, HSSC 10: PROCEEDINGS OF THE 13TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, P51
[15]
Groβ D., 2013, IFAC P, V46, P383
[16]
Hedlund S., 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304), P3972, DOI 10.1109/CDC.1999.827981
[17]
The theory of hybrid automata
[J].
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS,
1996,
:278-292
[18]
Optimal Control of Mixed Logical Dynamical Systems with Linear Temporal Logic Specifications
[J].
47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008),
2008,
:2117-2122
[19]
Kirches C, 2012, IFAC P, V7, P1124
[20]
Koutsoukos XD, 2005, 2005 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL & 13TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1 AND 2, P435