Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Inductive Inference of Optimal Controllers for Uncertain Logical Discrete Event Systems
 

Summary: Inductive Inference of Optimal Controllers for
Uncertain Logical Discrete Event Systems
A11stract
7'111.:paper siinirnari7cs preliminary iesiilts oii tlie iin-
pleineiit at IOII aiid convergence of an incluctiie leal n-
ing algoritlim used to identify optimal logical DES
coiitiolleis Tlic algorithm i s a motlificatiori of An-
gliiiii`s I,* procediiie It t i s ~queries to an equib-
alencr oracle aiicl incomplete membership oiacle to
lealii a niiiiiinal detrirtiinistic finite automaton coii-
sist m t with tlre siiprernal controllahlt=siihlariguage of
a knowii specification Iangiingr and iinknown plant
7his paper shows how the proposed algorithm 15 mi-
plenientrd, provides I esiilts on tlie procedure's coii-
vergence pioprrtie.:, and prewit.: an euample illiis
trating 11siisc
1. Iiitrotliictioii
Discrete merit system (nES) coiitioller sjiitliesis
nictliods as proposed by Raniadge aiid IVonliain [I]
ieqiiire that thr stat<, transition model of thr plant's

  

Source: Antsaklis, Panos - Department of Electrical Engineering, University of Notre Dame

 

Collections: Engineering