| 1 |
Design of decentralized critical observers for networks of finite state machines: A formal method approach
Pola G, De Santis E, Di Benedetto MD, Pezzuti D
Automatica, 86, 174, 2017 |
| 2 |
Multi-agent planning under local LTL specifications and event-based synchronization
Tumova J, Dimarogonas DV
Automatica, 70, 239, 2016 |
| 3 |
Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
Teixeira M, Malik R, Cury JER, de Queiroz MH
IEEE Transactions on Automatic Control, 60(1), 118, 2015 |
| 4 |
Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations
Athanasopoulou E, Li LX, Hadjicostis CN
IEEE Transactions on Automatic Control, 55(3), 579, 2010 |
| 5 |
Balanced Truncation for a Class of Stochastic Jump Linear Systems and Model Reduction for Hidden Markov Models
Kotsalis G, Megretski A, Dahleh MA
IEEE Transactions on Automatic Control, 53(11), 2543, 2008 |
| 6 |
Finite-state machine embeddings for nonconcurrent error detection and identification
Hadjicostis CN
IEEE Transactions on Automatic Control, 50(2), 142, 2005 |
| 7 |
Probabilistic detection of FSM single state-transition faults based on state occupancy measurements
Hadjicostis CN
IEEE Transactions on Automatic Control, 50(12), 2078, 2005 |
| 8 |
Periodic and non-concurrent error detection and identification in one-hot encoded FSMs
Hadjicostis CN
Automatica, 40(10), 1665, 2004 |
| 9 |
The control of asynchronous machines with races
Murphy TE, Geng XJ, Hammer J
IEEE Transactions on Automatic Control, 48(6), 1073, 2003 |
| 10 |
Nonconcurrent error detection and correction in fault-tolerant linear finite-state machines
Hadjicostis CN
IEEE Transactions on Automatic Control, 48(12), 2133, 2003 |
