Data processing: structural design – modeling – simulation – and em – Modeling by mathematical expression
Reexamination Certificate
2006-05-02
2006-05-02
Frejd, Russell (Department: 2128)
Data processing: structural design, modeling, simulation, and em
Modeling by mathematical expression
C700S049000, C706S060000
Reexamination Certificate
active
07039564
ABSTRACT:
When the automatic controls of a number of small automata are synthesized to form large automata, the latter are often difficult to manipulate and for the most part cannot be represented graphically. In order to maintain the applicability of incremental verification techniques, the larger automata are reduced, in accordance with the invention. This is done by modeling the automata in a discrete event system DES and by eliminating from the DES all redundant state transitions, disallowed states, and unimportant selfloops. The novel method is most prominently applicable in control programs and distributed control system controllers.
REFERENCES:
patent: 5163016 (1992-11-01), Har'El et al.
patent: 5963447 (1999-10-01), Kohn et al.
patent: 6088689 (2000-07-01), Kohn et al.
patent: 6256598 (2001-07-01), Park et al.
patent: 0806735 (1997-11-01), None
Li, Y.-H. Hybrid Synthesis of Optimal Control for Discrete Eevent Systems, Proceedings of the 1933 IEEE International Symposium on Intelligent Control, Aug. 1993, pp. 308-313.
Qui et al., R.G. A Structured Adaptive Supervisory Control Methodology for MOdeling the Control of a Discrete Event Manufacturing System, IEEE Transactions on Systems, Man, and Cybernetics, vol. 29, No. 6, Nov. 1999, pp. 573-586.
Hashtrudi et al., Z.S. Fault Diagnosis in Discrete-Event Systems: Framework and Model Reduction, Proceedings of the 37th IEEE Conference on Decision and Control, Dec. 1998, pp. 3769-3774.
Qui et al., R.G. Deterministic Finite Capacity Automata: A Solution to Reduce the Complexity of Modeling and Control of Automated Manufacturing Systems, Proc. of the 1996 IEEE Int. Sym. on Comp-Aided Control System Design, Sep. 1996, pp. 218-223.
Malik et al., N. Automaton: An Automonous Coverage-Based Multiprocessor System Verification Environment, 8thIEEE Workshop on Rapid System Prototyping, Jun. 1997, pp. 168-172.
Brandin et al., B, Incremental System Verification and Synthesis of Minimally Restrictive Behaviours, Proceedings of the 2000 American Control Conference, IEEE, vol. 6, Jun. 2000, pp. 4056-4061.
Hubbard et al., “Initial Investigations of Hierarchical Supervisory Control for Multi-Agent Systems”, Proceedings of the 38th Conference on Decision & Control, vol. 3, Jul. 12, 1999, Phoenix, Arizona USA, pp. 2218-2223.
Fabian et al., “Applying Supervisory Control Theory to Discrete Event Systems Modeled by Object Oriented Principles”, Proceedings of the 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation, vol. 2, Oct. 10, 1995, pp. 93-104.
Ramadge et al., “The Control of Discrete Event Systems”, Proceedings of the IEEE, vol. 77, No. 1, Jan. 1989, pp. 81-98.
Hubbard et al., “Initial Investigations of Hierarchical Supervisory Control for Multi-Agent Systems”, Proceedings of the 38th Conference on Decision & Control, vol. 3, Jul. 12, 1999, Phoenix, Arizona USA, pp. 2218-2223.
Fabian et al., “Applying Supervisory Control Theory to Discrete Event Systems Modeled by Object Oriented Principles”, Proceedings of the 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation, vol. 2, Oct. 10, 1995, pp. 93-104.
Ramadge et al., “The Control of Discrete Event Systems”, Proceedings of the IEEE, vol. 77, No. 1, Jan. 1989, pp. 81-98.
Malik Robi
Witte Martin
Frejd Russell
Siemens Aktiengesellschaft
Staas & Halsey , LLP
LandOfFree
Method of reducing finite controlling automata and... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method of reducing finite controlling automata and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method of reducing finite controlling automata and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3585291