在非并发的假设条件下,所综合的控制器是最大允许。
The synthesized controller is maximally permissive under no concurrency assumption.
youdao
应用推荐
模块上移
模块下移
不移动