Marian Iordache, Ph.D.

Site Contents:   Biographical Information   Classes   Literal Interpretation of the Bible   Publications   Research   Software   Teaching Papers

• Electrical Engineering faculty at LeTourneau University since August 2004
• Postdoctoral Research Associate at the University of Notre Dame from February 2004 to August 2004.
• Ph.D. in Electrical Engineering in January 2004, from the University of Notre Dame.
• M.S. in Electrical Engineering in May 1999, from the University of Notre Dame.
• M.S. in Electrical Engineering--Microsystems in 1997, from Politehnica University of Bucharest, Romania.
• Degree of Engineer in Electronics--Computing Systems in 1996 from Politehnica University of Bucharest, Romania.

Personal Testimony: How I became a follower of Jesus Christ

I am interested in interpreting literally the Bible as written in the original languages. For details, please refer to HisWordsArePure.com.

Recent classes: EEGR2053 Electric Circuits EEGR2051 Circuits and Measurements Lab EEGR3233 Introduction to Microcontrollers EEGR3523 Mechatronics EEGR4933 Automatic Control Systems

Past classes: EEGR5973 Supervisory Control ENGR6963 Formal Verification ENGR4413 Robotics and Manufacturing Processes EETC4521 Electronic Communications and Processes Lab EETC1041 AC Electricity Lab

A partial list of publications is available in Bibtex format.

Software

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

Book

M. V. Iordache and P. J. Antsaklis (2006), Supervisory Control of Concurrent Systems: A Petri Net Structural Approach, Birkhauser Boston.

Journal Papers

M. 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. 468--486.

M. V. Iordache and P. J. Antsaklis (2006), "Supervision Based on Place Invariants: A Survey," in Discrete Event Dynamic Systems, 16, pp. 451--492.

M. V. Iordache and P. J. Antsaklis (2006), "Decentralized Supervision of Petri Nets," in IEEE Transactions on Automatic Control, 51(2), pp. 376--381.

M. V. Iordache and P. J. Antsaklis (2003), "Design of T-Liveness Enforcing Supervisors in Petri Nets," in IEEE Transactions on Automatic Control, 48(11), pp. 1962--1974.

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

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

Conference Papers

M. V. Iordache, P. Wu, F. Zhou, P. J. Antsaklis (2013), "Efficient design of Petri-net supervisors with disjunctive specifications," in the Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, pp. 936--941.

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

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

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

M. V. Iordache and P. J. Antsaklis (2009), "Petri Nets and Programming: A Survey," in the Proceedings of the 2009 American Control Conference, pp. 4994--4999.

M. V. Iordache and P. J. Antsaklis (2007), "Petri Net Supervisors for Disjunctive Constraints," in the Proceedings of the 2007 American Control Conference, pp. 4951--4956.

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

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

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

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

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

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

M. V. Iordache and P. J. Antsaklis (2003), "Admissible Decentralized Control of Petri Nets," in the Proceedings of the 2003 American Control Conference, pp. 332-337.

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

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

M. V. Iordache, P. J. Antsaklis (2001), "T-liveness enforcement in Petri nets based on structural net properties," in Proceedings of the 40th IEEE International Conference on Decision and Control, pp.4984-4989.

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

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

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

Moody J. O., M. V. Iordache, P. J. Antsaklis (1999) "Enforcement of event-based supervisory constraints using state-based methods," in the Proceedings of the 38th IEEE Conference on Decision and Control.

Technical Reports

M. V. Iordache and P. J. Antsaklis (2009), Synthesis of Concurrent Programs Based on Supervisory Control, Interdisciplinary Studies of Intelligent Systems, Technical Report ISIS-2009-005, 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 ISIS-2004-003, University of Notre Dame.

M. V. Iordache and P. J. Antsaklis (2002), Decentralized Control of Petri Nets, Interdisciplinary Studies of Intelligent Systems, Technical Report ISIS-2002-005, 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 ISIS-2002-003, 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 ISIS-2002-002, 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 ISIS-2000-004, 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 ISIS-2000-003, 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 ISIS-99-006, University of Notre Dame.

Theses

M. 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 VHDL-A language, Graduation Thesis, Politehnica University of Bucharest.

Book Review

Review of Diagnosis and Fault-Tolerant Control by Blanke et al., in IEEE Transactions on Automatic Control, 49(6), pp. 1037--1038, 2004.

Power in AC Circuits

Pulse Width Modulation in Sampled Data Systems