Marian Iordache, Ph.D.
Assistant Professor School of Engineering & Engineering Technology LeTourneau University Longview, TX 75607-7001 |
Site Contents: Biographical Information Literal Interpretation of the Bible Publications Research Software Teaching
I am interested in interpreting literally the Bible as written in the original languages. For details, please refer to HisWordsArePure.com.
ENGR3423 Mechatronics EEGR4411 Digital Computer Control Systems EEGR4422 Fuzzy and Adaptive Control Systems |
ENGR2122 Instrumentation and Measurements Lab |
The 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 PapersIordache M. V. 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. 468--486.
Iordache M. V. and P. J. Antsaklis (2006), "Supervision Based on Place Invariants: A Survey," in Discrete Event Dynamic Systems, 16, pp. 451--492.
Iordache M. V. and P. J. Antsaklis (2006), "Decentralized Supervision of Petri Nets," in IEEE Transactions on Automatic Control, 51(2), pp. 376--381.
Iordache M. V. 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.
Iordache M. V. 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.
Iordache M. V., 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.
Technical ReportsM. 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.
Iordache M. V. and P. J. Antsaklis (2009), "Petri Nets and Programming: A Survey," in the Proceedings of the 2009 American Control Conference, pp. 4994--4999.
Iordache M. V. and P. J. Antsaklis (2007), "Petri Net Supervisors for Disjunctive Constraints," in the Proceedings of the 2007 American Control Conference, pp. 4951--4956.
Iordache M. V. 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.
Iordache M. V. 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.
Iordache M. V. 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.
Iordache M. V. and P. J. Antsaklis (2004), "On a Class of Controlled Invariant Sets," in the Proceedings of the 2004 American Control Conference, pp. 2522--2527.
Iordache M. V. 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.
Iordache M. V. and P. J. Antsaklis (2003), "Admissible Decentralized Control of Petri Nets," in the Proceedings of the 2003 American Control Conference, pp. 332-337.
Iordache M. V. 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.
Iordache M. V. and P. J. Antsaklis (2002), Decentralized Control of Petri Nets, Technical Report of the ISIS Group, ISIS-2002-005, University of Notre Dame.
Iordache M. V. 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.
Iordache M. V., 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.
Iordache M. V., 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.
Iordache M. V., 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.
Iordache M. V., 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.
ThesesIordache M. V. and P. J. Antsaklis (2009), Synthesis of Concurrent Programs Based on Supervisory Control, Technical Report of the ISIS Group, ISIS-2009-005, University of Notre Dame.
Iordache M. V. and P. J. Antsaklis (2004), Supervision Based On Place Invariants: A Survey, Technical Report of the ISIS Group, ISIS-2004-003, University of Notre Dame.
Iordache M. V. and P. J. Antsaklis (2002), Software Tools for the Supervisory Control of Petri Nets Based on Place Invariants, Technical Report of the ISIS Group, ISIS-2002-003, University of Notre Dame.
Iordache M. V. and P. J. Antsaklis (2002), Synthesis of Supervisors Enforcing General Linear Vector Constraints in Petri Nets, Technical Report of the ISIS Group, ISIS-2002-002, University of Notre Dame.
Iordache M. V., J. O. Moody, P. J. Antsaklis (2000), Automated Synthesis of Liveness Enforcing Supervisors Using Petri Nets, Technical Report of the ISIS Group, ISIS-2000-004, University of Notre Dame.
Iordache M. V., J. O. Moody, P. J. Antsaklis (2000), Automated Synthesis of Deadlock Prevention Supervisors Using Petri Nets, Technical Report of the ISIS Group, ISIS-2000-003, University of Notre Dame.
Iordache M. V., J. O. Moody, P. J. Antsaklis (1999), A Method for Deadlock Prevention in Discrete Event Systems Using Petri Nets, Technical Report of the ISIS Group, ISIS-99-006, University of Notre Dame.
Book ReviewIordache M. V. (2003), Methods for the Supervisory Control of Concurrent Systems Based on Petri Net Abstractions, Ph.D. Dissertation, University of Notre Dame.
Iordache M. V. (1999), Deadlock Prevention in Discrete Event Systems Using Petri Nets, Master's Thesis, University of Notre Dame.
Iordache M. V. (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.
Review of Diagnosis and Fault-Tolerant Control by Blanke et al., in IEEE Transactions on Automatic Control, 49(6), pp. 1037--1038, 2004.
Last modified: Mon Aug 29 11:26:16 CDT 2011 |