共 40 条
[1]
[Anonymous], 1995, TEMPORAL LOGIC REACT
[2]
[Anonymous], 2017, WESTERNACHER KNOWLED
[3]
[Anonymous], 2017, FORMAL METHODS DISCR
[6]
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
[J].
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS,
1996, 6 (04)
:379-430
[9]
Dynamic Vehicle Routing for Robotic Systems
[J].
PROCEEDINGS OF THE IEEE,
2011, 99 (09)
:1482-1504
[10]
Cai K., 2016, Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems