Data processing: generic control systems or specific application – Generic control system – apparatus or process – Sequential or selective
Reexamination Certificate
1998-09-17
2001-06-26
Grant, William (Department: 2121)
Data processing: generic control systems or specific application
Generic control system, apparatus or process
Sequential or selective
C700S012000, C700S018000
Reexamination Certificate
active
06253112
ABSTRACT:
FIELD OF INVENTION
The present invention relates to a complex computer driven system where the problem of control is of significant importance, and more particularly to such computer systems handling multiple real time tasks.
BACKGROUND OF THE INVENTION
A previous computer control system is shown and described in U.S. Pat. No. 5,301,100 entitled “Method of and apparatus for constructing a control system and control system created thereby” that issued to Ferdinand H. Wagner on Apr. 5, 1994, the disclosure of which is hereby incorporated by reference.
The majority of computer control systems require programming for each application. The process of programming is error-prone and requires testing of implemented logic and the correctness of program statements which express this logic. The pure logic of the application is deeply buried in the program code. There is no known way to isolate the logic design from peculiarities of the programming language and its data representation.
The alternatives to systems which are programmed are systems which are specified. The advantages of control systems which are specified in comparison to systems which are programmed are well known and summarized e.g. by Davis in “A Comparison of Techniques for the Specification of External System Behavior”, Communications of the ACM September 1988 pp. 1098-1115. Also as taught in reference U.S. Pat. No. 4,796,179 a control system can be built using subroutines describing standard control blocks. The subroutines are then linked together into the control system. Another approach is based on table driven finite state machines which are specified. This is suitable for systems intended for applications characterized by a high number of control decisions.
As shown in the article by Davis for the table approach, boolean tables grow exponentially with the number of input and states. Because of this well known growth phenomena, a table driven approach has been limited to rather simple applications. Typically, only selected subsystems of a complex system are implemented as table driven finite state machines.
Input signals come to a control system from different analog and digital sensors. The signals are often of different natures: some are digital, others are analog. The digital signals are two-valued (boolean) or multivalued (numbers). The analog signals in their original form are of no use in a digital control system. Only some specific values of an analog signal are relevant for control purposes. A table driven state machine can process digital information only. Therefore, the use of table driven systems was limited to applications where input has a standard boolean form until the patent of Wagner. The disadvantages of the finite state machine (FSM) of Wagner and similar FSMs is that multi-FSM environments were created in an ad-hoc way with static FSM instances and these FSMs involved considerable overhead to create the necessary platform, so they were very rarely used. The FSM previously had to have all supporting code (about 3,000 lines) written by hand.
Therefore, it is an object of the present invention to provide a method and apparatus for providing a system of multiple cooperating finite state machines.
It is another object of the present invention to provide a method and apparatus for providing a system of multiple cooperating finite state machines with supporting code.
SUMMARY OF THE INVENTION
Briefly stated, in accordance with one aspect of the invention, the aforementioned problems are overcome and an advance in the art achieved by providing a method of specifying a control system for a process or an apparatus to be controlled. The method includes the steps of identifying multiple detectable conditions associated with the controlled process or apparatus; providing multiple finite state machines to control the controlled process or apparatus, each finite state machine having a name and each finite state machine having an input preprocessor, an application logic table and an output post processor; providing each finite state machine with separate input names for each detectable condition controlled by the respective finite state machine wherein the presence of the respective detectable conditions is indicated by the respective names having an asserted value; storing the input names; identifying one or more control actions which can be taken by each finite state machine to control the process or apparatus; providing a separate output name for each identified control action of each finite state machine; storing the output names; automatically producing a application logic tables for each finite state machine, respectively, wherein each input name is represented by a predetermined number of bit positions and combinations of input names are logically coupled together by implied AND and OR operators and wherein such combinations of input names are associated with output names; storing the tables; and loading each of the application logic tables into the control system. Using these steps, control systems running multiple finite state machines waiting for the combination of inputs and outputs that will cause one of the finite state machine to be active and control the process or apparatus. Each of the finite state machines is straightforwardly provided, since each of the multiple finite state machines is automatically provided by operation of community specifications on inputs and outputs.
REFERENCES:
patent: 5463543 (1995-10-01), Wagner
patent: 5473531 (1995-12-01), Flora-Holmquist et al.
patent: 5623680 (1997-04-01), Flora-Holmquist et al.
patent: 5640319 (1997-06-01), Beuning et al.
Flora-Holmquist Alan Robert
Morton Edward
O'Grady James Day
Staskauskas Mark Gerard
Grant William
Lucent Technologies - Inc.
Penrod Jack R.
Robinson Victoria
LandOfFree
Method of and apparatus for constructing a complex control... 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 and apparatus for constructing a complex control..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method of and apparatus for constructing a complex control... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2512720