Arash Vahidi Mazinani

Publikationer (14)
Projekt (0)

Visar 14 publikationer

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

2006

Efficient Supervisory Synthesis of Large Systems

Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian

Control Engineering Practice. Vol. 14 (10), p. 1157-1167

Artikel i vetenskaplig tidskrift

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

Artikel i vetenskaplig tidskrift

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

2004

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

Arash Vahidi Mazinani

Doktorsavhandling

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

2002

A study of symbolic tools in automatic control

Arash Vahidi Mazinani

Licentiatavhandling

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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Arash Vahidi Mazinani medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.