Marian Iordache, Ph.D.

Site Contents: Biographical Information Classes Literal Interpretation of the Bible Publications Research Software
I am interested in interpreting literally the Bible as written in the original languages. For details, please refer to HisWordsArePure.com.
EEGR3233 Introduction to Microcontrollers 
EEGR4411 Digital Computer Control Systems 
A partial list of publications is available in Bibtex format.
SoftwareBookA Concurrency Tool Suite is software that can be used to generate automatically the concurrency control code of multithreaded programs.
SPNBOX is a set of Matlab functions for the supervisory control of Petri nets.
Journal PapersM. V. Iordache and P. J. Antsaklis (2006), Supervisory Control of Concurrent Systems: A Petri Net Structural Approach, Birkhauser Boston.
Conference PapersM. V. Iordache and P. J. Antsaklis (2010), "DES abstractions for the supervisory control of hybrid systems", in Transactions of the Institute of Measurement and Control, 32(5), pp. 468486.
M. V. Iordache and P. J. Antsaklis (2006), "Supervision Based on Place Invariants: A Survey," in Discrete Event Dynamic Systems, 16, pp. 451492.
M. V. Iordache and P. J. Antsaklis (2006), "Decentralized Supervision of Petri Nets," in IEEE Transactions on Automatic Control, 51(2), pp. 376381.
M. V. Iordache and P. J. Antsaklis (2003), "Design of TLiveness Enforcing Supervisors in Petri Nets," in IEEE Transactions on Automatic Control, 48(11), pp. 19621974.
M. V. Iordache and P. J. Antsaklis (2003), "Synthesis of Supervisors Enforcing General Linear Vector Constraints in Petri Nets," in IEEE Transactions on Automatic Control, 48(11), pp. 20362039.
M. V. Iordache, J. O. Moody and P. J. Antsaklis (2002), "Synthesis of Deadlock Prevention Supervisors using Petri Nets," in IEEE Transactions on Robotics and Automation, 18(1), pp. 5968.
Technical ReportsM. V. Iordache, P. Wu, F. Zhou, P. J. Antsaklis (2013), "Efficient design of Petrinet supervisors with disjunctive specifications," in the Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, pp. 936941.
M. V. Iordache and P. J. Antsaklis (2012), "The ACTS software and its supervisory control framework," in the Proceedings of the 51st International Conference on Decision and Control, pp. 72387243.
M. V. Iordache and P. J. Antsaklis (2010), "Limitations of Liveness in Concurrent Software Systems," in the Proceedings of the 49th International Conference on Decision and Control, pp. 32523257.
M. V. Iordache and P. J. Antsaklis (2010), "Concurrent program synthesis based on supervisory control," in the Proceedings of the 2010 American Control Conference, pp. 33783383.
M. V. Iordache and P. J. Antsaklis (2009), "Petri Nets and Programming: A Survey," in the Proceedings of the 2009 American Control Conference, pp. 49944999.
M. V. Iordache and P. J. Antsaklis (2007), "Petri Net Supervisors for Disjunctive Constraints," in the Proceedings of the 2007 American Control Conference, pp. 49514956.
M. V. Iordache and P. J. Antsaklis (2006), "Reduction of the Supervisor Design Problem with Firing Vector Constraints," in the Proceedings of the 8th International Workshop on Discrete Event Systems, pp. 215221.
M. V. Iordache and P. J. Antsaklis (2005), "A Structural Approach to the Enforcement of Language and Disjunctive Constraints," in the Proceedings of the 2005 American Control Conference, pp. 39203925.
M. V. Iordache and P. J. Antsaklis (2005), "A Survey on the Supervision of Petri Nets," in the Proceedings of the Workshop on the Control of Hybrid and Discrete Event Systems, pp. 6180.
M. V. Iordache and P. J. Antsaklis (2004), "Resilience to Failures and Reconfigurations in the Supervision Based on Place Invariants," in the Proceedings of the 2004 American Control Conference, pp. 44774482.
M. V. Iordache and P. J. Antsaklis (2004), "On a Class of Controlled Invariant Sets," in the Proceedings of the 2004 American Control Conference, pp. 25222527.
M. V. Iordache and P. J. Antsaklis (2003), "Decentralized Control of Petri Nets," in the Proceedings of the Workshop on Discrete Event Systems Control, of the International Conference on the Application and Theory of Petri Nets (ATPN 2003), pp. 143158.
M. V. Iordache and P. J. Antsaklis (2003), "Admissible Decentralized Control of Petri Nets," in the Proceedings of the 2003 American Control Conference, pp. 332337.
M. V. Iordache and P. J. Antsaklis (2003), "Decentralized Control of Petri Nets with Constraint Transformations," in the Proceedings of the 2003 American Control Conference, pp. 314319.
M. V. Iordache and P. J. Antsaklis (2002), "Synthesis of Supervisors Enforcing General Linear Vector Constraints in Petri Nets," in the Proceedings of the 2002 American Control Conference, pp. 154159.
M. V. Iordache, P. J. Antsaklis (2001), "Tliveness enforcement in Petri nets based on structural net properties," in Proceedings of the 40th IEEE International Conference on Decision and Control, pp.49844989.
M. V. Iordache, P. J. Antsaklis (2001), "Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets," in Applications and Theory of Petri Nets 2001, LNCS vol.2075, pp. 184203.
M. V. Iordache, J. O. Moody, P. J. Antsaklis (2001), "A Method for the Synthesis of Liveness Enforcing Supervisors in Petri Nets," in the Proceedings of the 2001 American Control Conference, pp.49434948.
M. V. Iordache, J. O. Moody, P. J. Antsaklis (2000), "A Method for the Synthesis of Deadlock Prevention Controllers in Systems Modeled by Petri Nets," in the Proceedings of the 2000 American Control Conference, pp. 31673171.
Moody J. O., M. V. Iordache, P. J. Antsaklis (1999) "Enforcement of eventbased supervisory constraints using statebased methods," in the Proceedings of the 38th IEEE Conference on Decision and Control.
ThesesM. V. Iordache and P. J. Antsaklis (2009), Synthesis of Concurrent Programs Based on Supervisory Control, Interdisciplinary Studies of Intelligent Systems, Technical Report ISIS2009005, University of Notre Dame.
M. V. Iordache and P. J. Antsaklis (2004), Supervision Based On Place Invariants: A Survey, Interdisciplinary Studies of Intelligent Systems, Technical Report ISIS2004003, University of Notre Dame.
M. V. Iordache and P. J. Antsaklis (2002), Decentralized Control of Petri Nets, Interdisciplinary Studies of Intelligent Systems, Technical Report ISIS2002005, University of Notre Dame.
M. V. Iordache and P. J. Antsaklis (2002), Software Tools for the Supervisory Control of Petri Nets Based on Place Invariants, Interdisciplinary Studies of Intelligent Systems, Technical Report ISIS2002003, University of Notre Dame.
M. V. Iordache and P. J. Antsaklis (2002), Synthesis of Supervisors Enforcing General Linear Vector Constraints in Petri Nets, Interdisciplinary Studies of Intelligent Systems, Technical Report ISIS2002002, University of Notre Dame.
M. V. Iordache, J. O. Moody, P. J. Antsaklis (2000), Automated Synthesis of Liveness Enforcing Supervisors Using Petri Nets, Interdisciplinary Studies of Intelligent Systems, Technical Report ISIS2000004, University of Notre Dame.
M. V. Iordache, J. O. Moody, P. J. Antsaklis (2000), Automated Synthesis of Deadlock Prevention Supervisors Using Petri Nets, Interdisciplinary Studies of Intelligent Systems, Technical Report ISIS2000003, University of Notre Dame.
M. V. Iordache, J. O. Moody, P. J. Antsaklis (1999), A Method for Deadlock Prevention in Discrete Event Systems Using Petri Nets, Interdisciplinary Studies of Intelligent Systems, Technical Report ISIS99006, University of Notre Dame.
Book ReviewM. V. Iordache (2003), Methods for the Supervisory Control of Concurrent Systems Based on Petri Net Abstractions, Ph.D. Dissertation, University of Notre Dame.
M. V. Iordache (1999), Deadlock Prevention in Discrete Event Systems Using Petri Nets, Master's Thesis, University of Notre Dame.
M. V. Iordache (1996), Realization and optimization of a macromodel library for the simulation of analog VLSI circuits described in the VHDLA language, Graduation Thesis, Politehnica University of Bucharest.
Review of Diagnosis and FaultTolerant Control by Blanke et al., in IEEE Transactions on Automatic Control, 49(6), pp. 10371038, 2004.
Last modified: Tue Jun 3 16:47:59 CDT 2014 