Marian V. Iordache

According to our database1, Marian V. Iordache authored at least 20 papers between 2000 and 2013.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Efficient design of Petri-net supervisors with disjunctive specifications.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

2012
The ACTS software and its supervisory control framework.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2010
Limitations of liveness in concurrent software systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Concurrent program synthesis based on supervisory control.
Proceedings of the American Control Conference, 2010

2009
Petri nets and programming: A survey.
Proceedings of the American Control Conference, 2009

2007
Petri Net Supervisors for Disjunctive Constraints.
Proceedings of the American Control Conference, 2007

2006
Decentralized supervision of Petri nets.
IEEE Trans. Autom. Control., 2006

Supervision Based on Place Invariants: A Survey.
Discret. Event Dyn. Syst., 2006

2005
A structural approach to the enforcement of language and disjunctive constraints.
Proceedings of the American Control Conference, 2005

2004
On a class of controlled invariant sets.
Proceedings of the 2004 American Control Conference, 2004

2003
Synthesis of supervisors enforcing general linear constraints in Petri nets.
IEEE Trans. Autom. Control., 2003

Design of T-liveness enforcing supervisors in Petri nets.
IEEE Trans. Autom. Control., 2003

Admissible decentralized control of Petri nets.
Proceedings of the American Control Conference, 2003

Decentralized control of Petri nets with constraint transformations.
Proceedings of the American Control Conference, 2003

2002
Synthesis of deadlock prevention supervisors using Petri nets.
IEEE Trans. Robotics Autom., 2002

Synthesis of supervisors enforcing general linear vector constraints in Petri nets.
Proceedings of the American Control Conference, 2002

2001
-liveness enforcement in Petri nets based on structural net properties.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets.
Proceedings of the Application and Theory of Petri Nets 2001, 2001

A method for the synthesis of liveness enforcing supervisors in Petri nets.
Proceedings of the American Control Conference, 2001

2000
A method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets.
Proceedings of the American Control Conference, 2000


  Loading...