Arash Vahidi Mazinani

Showing 14 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 proceeding
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 proceeding
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 proceeding
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

Early Termination by Local String in Incremental Language Containment Tests

Arash Vahidi Mazinani, Martin Fabian, Bengt Lennartson
7th Workshop on Discrete Event Systems. Vol. 37
Paper in proceeding
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 proceeding
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

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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.