Search for dissertations about: "Arash Vahidi"

Found 2 swedish dissertations containing the words Arash Vahidi.

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

   Author : Arash Vahidi Mazinani; Chalmers tekniska högskola; []
   Keywords : 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;

   Abstract : .... READ MORE

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

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

   Abstract : 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. READ MORE