Sökning: "Extended Fi- nite Automata"

Hittade 1 avhandling innehållade orden Extended Fi- nite Automata.

1. 1. On Symbolic Analysis of Discrete Event Systems Modeled as Automata with Variables

   Författare :Zhennan Fei; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Partitioning Techniques; Discrete Event Systems; Supervisory Control Theory; Extended Fi- nite Automata; Binary Decision Diagrams;

   Sammanfattning : In benefit of the current revolution in computer technology, nowadays, society is dependent on dedicated computer-aided systems more than ever to assist us in every aspect of daily life. Thereby, designing reliable control logic of those systems to avoid malfunctioning behavior is of importance. LÄS MER