Publication | Open Access
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
81
Citations
13
References
2007
Year
Mathematical ProgrammingEngineeringAutomated ReasoningCompositional SynthesisSupervision SystemFormal MethodsProcess ControlSupervision (Telephony)Supervisory ControlRobot Learning
| Year | Citations | |
|---|---|---|
Page 1
Page 1