Arash Vahidi Mazinani

Showing 15 publications

2008

Solving Two Supervisory Control Benchmark Problems Using Supremica

Sajed Miremadi, Knut Åkesson, Martin Fabian et al
9th International Workshop on Discrete Event Systems, 2008, p. 131-136
Paper in proceedings
2006

Efficient Supervisory Synthesis of Large Systems

Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian
Control Engineering Practice. Vol. 14 (10), p. 1157-1167
Journal article
2006

Efficient Reachability Analysis on Modular Discrete-Event Systems using Binary Decision Diagrams

Martin Byröd, Bengt Lennartson, Arash Vahidi Mazinani et al
8th International Workshop on Discrete Event Systems, WODES 2006; Ann Arbor, MI; United States; 10 July 2006 through 12 July 2006, p. 288-293
Paper in proceedings
2005

Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams

Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on, p. 2751 - 2756
Paper in proceedings
2004

Early Termination by Local String in Incremental Language Containment Tests

Arash Vahidi Mazinani, Martin Fabian, Bengt Lennartson
7th Workshop on Discrete Event Systems
Paper in proceedings
2004

Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams

Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian
(to be submitted to) IEEE Transactions on Automation Science and Engineering
Journal article
2004

Efficient Supervisory Synthesis of Large Systems

Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian
7th Workshop on Discrete Event Systems
Paper in proceedings
2003

Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors

Knut Åkesson, Martin Fabian, Hugo Flordal et al
Proc. of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece
Paper in proceedings
2002

Modeling and Controller Synthesis for Resource Booking Problems using BDDs

Petter Falkman, Arash Vahidi Mazinani, Bengt Lennartson
Proceedings of the 15th IFAC World Congress, Barcelona, Spain, 8 July through 12 July 2001. Vol. 2, p. 1011-1016
Paper in proceedings
2002

A study of symbolic tools in automatic control

Arash Vahidi Mazinani
Licentiate thesis
2002

Modeling and Controller Synthesis for Resource Booking Problems using BDDs.

Arash Vahidi Mazinani, Bengt Lennartson
Proceedings of the 15th IFAC World Congress, July 21-26, 2002, Barcelona, Spain.
Paper in proceedings
2001

Generic Resource Booking Models in Flexible Cells

Arash Vahidi Mazinani, Martin Fabian, Bengt Lennartson
Proceedings of the 2001 IEEE International Symposium on Intelligent Control, 2001. (ISIC '01). 5-7 Sept. 2001, Mexico City, p. 252-257
Paper in proceedings
2001

Efficient Application of Symbolic Tools for Resource Booking Problems

Arash Vahidi Mazinani, Bengt Lennartson, Dennis Arkeryd et al
American Control Conference, Arlington, VA, USA; 25 June through 27 June 2001. Vol. 6, p. 4937-4942
Paper in proceedings
2000

Coordination of batches in flexible production

Knut Åkesson, Martin Fabian, Arash Vahidi Mazinani
Proceedings of the 2000 American Control Conference. Vol. 4, p. 2735 -2739
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Arash Vahidi Mazinani participates, but you have to be logged in as a Chalmers employee to see them.