Arash Vahidi Mazinani

Publications (14)
Projects (0)

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

2004

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

Arash Vahidi Mazinani

Doctoral thesis

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.