Arash Vahidi Mazinani

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