共 50 条
- [33] Program models for diagnosis of information control systems Programming and Computer Software, 2014, 40 : 250 - 258
- [36] Analytical Synthesis of Control Systems with Modulation. Izvestia vyssih ucebnyh zavedenij. Priborostroenie, 1982, 25 (12): : 19 - 23
- [40] Formal Methods for Control of Traffic Flow AUTOMATED CONTROL SYNTHESIS FROM FINITE-STATE TRANSITION MODELS IEEE CONTROL SYSTEMS MAGAZINE, 2017, 37 (02): : 109 - 128