AUTOMATED SYNTHESIS OF VIRTUALBLOCKS FOR INTERFACING SYSTEM UNDER TEST

[1]  P. O'Connor,et al.  Practical Reliability Engineering , 1981 .

[2]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[3]  H. Saunders,et al.  Introduction to system analysis , 1985 .

[4]  Bruce H. Krogh,et al.  On condition/event systems with discrete state realizations , 1991, Discret. Event Dyn. Syst..

[5]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[6]  Eve A. Riskin,et al.  Signals, Systems, and Transforms , 1994 .

[7]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

[8]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[9]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[10]  Panos J. Antsaklis,et al.  Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.

[11]  Lawrence E. Holloway,et al.  Elaborative orderings of condition languages , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[12]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

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

[14]  Lawrence E. Holloway,et al.  Automated synthesis and composition of taskblocks for control of manufacturing systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[15]  Yu Gong,et al.  State Observer Synthesis for a Class of Condition Systems , 2000 .

[16]  Yu Gong,et al.  Multi-layer state observers for condition systems , 2001, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597).

[17]  Lawrence E. Holloway,et al.  Diagnosis of condition systems using causal structure , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[18]  Ratnesh Kumar,et al.  Modeling Discrete Event Systems With Faults Using a Rules-based Modeling Formalism , 2003 .

[19]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

[20]  Hartmut Ehrig.  Petri Net Technology for communication-based systems : advances in Petri Nets , 2003 .

[21]  Silvio Simani,et al.  Model-based fault diagnosis in dynamic systems using identification techniques , 2003 .