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 Logical DES Controllers using the L" Algorithm
 

Summary: FA8 - 1055
Inductive Inference of Logical DES Controllers
using the L" Algorithm
Xiaojun Yang, Michael Lemmon ',and Panos Antsaklis
Department of Electrical Engineering
University of Notre Dame, Notre Dame, IN 46556
1emmonQmaddog.ee.nd.edu
Abstract
It is well known that learning procedures such as the
L* algorithm will infer minimal deterministic finite
automatons (DFA) in polynomial time through the
use of membership and equivalence queries. This
paper introduces a modification of the L*-algorithm
that can be used for the inductively inferring optimal
logical DES controllers in which prior knowledge of
the plant is confined to a finite lookahead window of
predicted behaviours.
1. Introduction
Discrete event system (DES) controller synthesis
methods as proposed by Ramadge and Wonham [l]

  

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

 

Collections: Engineering