From diagnosis of active systems to incremental determinization of finite acyclic automata

A non-functional requirement for model-based diagnosis of active systems is efficient determinization of acyclic automata. In literature, determinization of finite automata is performed by the Subset Construction algorithm SC: given a nondeterministic automaton N, an equivalent deterministic automaton D is generated, with each state in D being a subset of states in N. However, SC is conceived for monolithic determinization, when N is completely specified. By contrast, monitoring-based diagnosis of active systems requires incremental determinization. We consider the Incremental Determinization Problem for finite acyclic automata: after extending the acyclic automaton N to N' by ΔN by new transitions and, possibly, new states, we require N' to be determinized into D' based on D and ΔN. Although this problem can be naively solved by applying SC to N' thereby disregarding both D and ΔN, this solution is bound to lead to poor performances, as it does not exploit the incremental nature of N'. Therefore, an incremental algorithm is proposed, called ISCA, which extends D into D' based on ΔN, rather than starting from scratch the determinization of N'. ISCA is a general-purpose algorithm. Evidence from experiments indicates that, in time, ISCA is significantly more efficient than SC in solving incremental determinization problems.

[1]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools (2nd Edition) , 2006 .

[2]  G. Lamperti,et al.  A bridged diagnostic method for the monitoring of polymorphic discrete-event systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[3]  Gianfranco Lamperti,et al.  Diagnosis of active systems : principles and techniques , 2003 .

[4]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[5]  Gianfranco Lamperti,et al.  Diagnosis of discrete-event systems from uncertain temporal observations , 2002, Artif. Intell..

[6]  Jan Daciuk.  Incremental Construction of Finite-State Automata , 2012, Handbook of Finite State Based Models and Applications.

[7]  Wolfgang Nejdl,et al.  Integrating Model-Based Monitoring and Diagnosis of Complex Dynamic Systems , 1991, IJCAI.

[8]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[9]  Gianfranco Lamperti,et al.  Diagnosis of Active Systems , 1998, ECAI.

[10]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[11]  Gianfranco Lamperti,et al.  Monitoring of Active Systems With Stratified Uncertain Observations , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[12]  Dominique Revuz.  Dictionnaires et lexiques. Méthodes et algorithmes , 1991 .

[13]  Alban Grastien,et al.  Incremental Diagnosis of Discrete-Event Systems , 2005, IJCAI.

[14]  Peter Struss,et al.  Fundamentals of Model-Based Diagnosis of Dynamic Systems , 1997, IJCAI.

[15]  Bruce W. Watson,et al.  Incremental construction of minimal acyclic finite state automata , 2000, CL.

[16]  Benjamin Kuipers,et al.  Model-Based Monitoring of Dynamic Systems , 1989, IJCAI.

[17]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[18]  Jan Daciuk,et al.  Incremental Construction of Minimal Acyclic Finite State Automata and Transducers , 1998 .

[19]  Bruce W. Watson,et al.  An efficient incremental DFA minimization algorithm , 2003, Natural Language Engineering.

[20]  Gianfranco Lamperti,et al.  Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems , 2008, KES.

[21]  Gianfranco Lamperti,et al.  Incremental processing of temporal observations in Model-Based Reasoning , 2007, AI Commun..

[22]  Y. Pencole,et al.  Incremental decentralized diagnosis approach for the supervision of a telecommunication network , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..