Concepedia

Marian V. Iordache

MV

17

Publications

690

Citations

13

H-Index

2000

Active since

Affiliations

University of Notre Dame(Current)

LeTourneau University

Lockheed Martin (United States)

Marian V. Iordache is an author at University of Notre Dame specializing in formal methods, engineering, and process control.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringProcess ControlFormal VerificationAutomationVerificationAutomated ReasoningComputer Engineering

Publications per year

2000–2022

17

Publications

17

Synthesis of deadlock prevention supervisors using Petri nets

Marian V. Iordache, John Moody, Panos J. Antsaklis · IEEE Transactions on Robotics and Automation · 2002 · 147 citations

Petri Net, Engineering, Reachability Problem +17

Supervision Based on Place Invariants: A Survey

Marian V. Iordache, Panos J. Antsaklis · Discrete Event Dynamic Systems · 2006 · 122 citations

Artificial Intelligence, Engineering, Supervision System +8

Synthesis of supervisors enforcing general linear constraints in petri nets

Marian V. Iordache, Panos J. Antsaklis · IEEE Transactions on Automatic Control · 2003 · 72 citations

Mathematical Programming, Petri Net, Engineering +20

A method for the synthesis of liveness enforcing supervisors in Petri nets

Marian V. Iordache, John Moody, Panos J. Antsaklis · 2001 · 44 citations

Petri Net, Engineering, Reachability Problem +18

Design of T-liveness enforcing supervisors in petri nets

Marian V. Iordache, Panos J. Antsaklis · IEEE Transactions on Automatic Control · 2003 · 44 citations

Petri Net, Observable Pns, Engineering +15

Rows per page

1–5 of 17