Sökning: "Arash Vahidi"

Hittade 2 avhandlingar innehållade orden Arash Vahidi.

1. 1. A study of symbolic tools in automatic control

   Författare :Arash Vahidi Mazinani; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; binary decision diagrams; state explosion problem; supervisory control synthesis; deadlock avoidance; discrete event systems; symbolic model checking; formal methods;

   Sammanfattning : .... LÄS MER

3. 2. Efficient Analysis of Discrete Event Systems: Supervisor Synthesis with Binary Decision Diagrams

   Författare :Arash Vahidi Mazinani; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; binary decision diagrams; supervisory synthesis; discrete event systems;

   Sammanfattning : Due to the ever-increasing complexity of software and hardware, it is becoming more and more important to develop methods and tools for automatic analysis and synthesis of systems. One obstacle in achieving this goal has been the unmanageable size and complexity of the involved mathematical operations. LÄS MER