Tillsynskontrollteori
Tillsynskontrollteorin ( SCT ), även känd som Ramadge–Wonham-ramverket ( RW - ramverket ), är en metod för att automatiskt syntetisera tillsynsmyndigheter som begränsar beteendet hos en anläggning så att så mycket som möjligt av de givna specifikationerna uppfylls. Anläggningen antas spontant generera händelser. Händelserna är i antingen en av följande två kategorier kontrollerbara eller okontrollerbara . Arbetsledaren observerar strängen av händelser som genereras av anläggningen och kan förhindra anläggningen från att generera en delmängd av de kontrollerbara händelserna. Arbetsledaren har dock ingen möjlighet att tvinga anläggningen att generera en händelse.
I sin ursprungliga formulering ansåg SCT att anläggningen och specifikationen var modellerad av formella språk, inte nödvändigtvis vanliga språk som genererades av finita automater som gjordes i de flesta efterföljande arbeten.
Se även
- Ramadge, Peter J.; Wonham, Walter M. (januari 1987). "Övervakande kontroll av en klass av diskreta händelseprocesser". SIAM Journal om styrning och optimering . 25 (1): 206–230. doi : 10.1137/0325013 .
- Kumar, Ratnesh; Garg, Vijay K. (1995). Modellering och kontroll av logiska diskreta händelsesystem . Springer . ISBN 978-0-7923-9538-6 .
- Pinzon, Luz E. (1997-10-15). "The Ramadge and Wonham-ramverket" . Arkiverad från originalet 2017-10-09 . Hämtad 2017-10-09 .