The supervisory control theory (SCT), also known as the Ramadge–Wonham framework (RW framework), is a method for automatically synthesizing supervisors that restrict the behavior of a plant such that as much as possible of the given specifications are fulfilled. The plant is assumed to spontaneously generate events. The events are in either one of the following two categories controllable or uncontrollable. The supervisor observes the string of events generated by the plant and might prevent the plant from generating a subset of the controllable events. However, the supervisor has no means of forcing the plant to generate an event.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Supervisory control theory (en)
- 監督控制理論 (zh)
|
rdfs:comment
| - 監督控制理論(supervisory control theory)簡稱為SCT,是一個自動合成監督器(supervisor)的方法,監督器可以限制系統行為,儘可能的滿足給定規格。會假設系統會自發性的產生事件,事件可以分為兩類:可控及不可控。監督器觀察系統產生的事件序列,會避免系統產生的事件是在不可控的子集內。不過監督器不會強迫系統產生事件。 在最早的敘述中,監督控制理論考慮其系統以及規劃可以用任何形式語言來建模,不一定要是有限状态机產生的正则语言,不過後來的論文中大多是以有限状态机產生的正则语言來建模。 (zh)
- The supervisory control theory (SCT), also known as the Ramadge–Wonham framework (RW framework), is a method for automatically synthesizing supervisors that restrict the behavior of a plant such that as much as possible of the given specifications are fulfilled. The plant is assumed to spontaneously generate events. The events are in either one of the following two categories controllable or uncontrollable. The supervisor observes the string of events generated by the plant and might prevent the plant from generating a subset of the controllable events. However, the supervisor has no means of forcing the plant to generate an event. (en)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
cs1-dates
| |
date
| |
has abstract
| - The supervisory control theory (SCT), also known as the Ramadge–Wonham framework (RW framework), is a method for automatically synthesizing supervisors that restrict the behavior of a plant such that as much as possible of the given specifications are fulfilled. The plant is assumed to spontaneously generate events. The events are in either one of the following two categories controllable or uncontrollable. The supervisor observes the string of events generated by the plant and might prevent the plant from generating a subset of the controllable events. However, the supervisor has no means of forcing the plant to generate an event. In its original formulation the SCT considered the plant and the specification to be modeled by formal languages, not necessarily regular languages generated by finite automata as was done in most subsequent work. (en)
- 監督控制理論(supervisory control theory)簡稱為SCT,是一個自動合成監督器(supervisor)的方法,監督器可以限制系統行為,儘可能的滿足給定規格。會假設系統會自發性的產生事件,事件可以分為兩類:可控及不可控。監督器觀察系統產生的事件序列,會避免系統產生的事件是在不可控的子集內。不過監督器不會強迫系統產生事件。 在最早的敘述中,監督控制理論考慮其系統以及規劃可以用任何形式語言來建模,不一定要是有限状态机產生的正则语言,不過後來的論文中大多是以有限状态机產生的正则语言來建模。 (zh)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is known for
of | |
is foaf:primaryTopic
of | |