Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007. ,
DOI : 10.1109/ACSD.2007.27
URL : https://hal.archives-ouvertes.fr/inria-00363030
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007. ,
DOI : 10.1109/TASE.2007.51
Supervisory control of discrete-event processes with partial observations, IEEE Transactions on Automatic Control, vol.33, issue.3, pp.249-260, 1988. ,
DOI : 10.1109/9.402
Memory Efficient Algorithms for the Verification of Temporal Properties, Formal Methods in System Design, pp.275-288, 1992. ,
Efficient algorithms for optimum cycle mean and optimum cost to time ratio problems, Annual ACM IEEE Design Automation Conference, pp.1-58133, 1999. ,
On an Optimization Problem in Sensor Selection, 2004. ,
Algorithms for omega-regular games with imperfect information, Computer Science Logic (CSL) Lecture Notes in Computer Science, vol.4207, pp.287-302, 2006. ,
On nested depth-first search, Proc. of the 2nd Spin Workshop, 1996. ,
DOI : 10.1090/dimacs/032/03
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3452
Software model checking with SPIN, Advances in Computers, pp.78-109, 2005. ,
A Polynomial Algorithm for Testing Diagnosability of Discrete Event Systems, IEEE Transactions on Automatic Control, issue.8, p.46, 2001. ,
Optimal sensor selection for discrete-event systems with partial observation, IEEE Transactions on Automatic Control, vol.48, issue.3, pp.369-381, 2003. ,
DOI : 10.1109/TAC.2003.809144
A characterization of the minimum cycle mean in a digraph, Discrete Mathematics, vol.23, issue.1, pp.309-311, 1978. ,
DOI : 10.1016/0012-365X(78)90078-X
Effective control synthesis for DES under partial observations, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), 2000. ,
DOI : 10.1109/CDC.2000.912726
Supervisory control of a class of discrete event processes, SIAM J. Control Optim, vol.25, issue.1, 1987. ,
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, 1995. ,
DOI : 10.1109/9.412626
On the synthesis of strategies in infinite games, Proc. 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS'95), 1995. ,
DOI : 10.1007/3-540-59042-0_57
Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems, pp.531-583, 2007. ,
On the Control of Discrete Event Dynamical Systems, Mathematics of Control, Signals and Systems, 1989. ,
Computation of Fault Detection Delay in Discrete-Event Systems, 14th International Workshop on Principles of Diagnosis, DX'03, 2003. ,
On the computational complexity of some problems arising in partially-observed discrete event systems, American Control Conference (ACC'01), 2001. ,
NP-completeness of sensor selection problems arising in partially observed discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1495-1499, 2002. ,
Polynomial-Time Verification of Diagnosability of Partially-Observed Discrete- Event Systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002. ,
The complexity of mean payoff games on graphs, Theoretical Computer Science, vol.158, issue.1-2, pp.343-359, 1996. ,
DOI : 10.1016/0304-3975(95)00188-3