Multiple-agent hybrid control architecture for intelligent real-time control of distributed nonlinear processes
First Claim
1. A hybrid control system architecture comprising:
- a logic agent network for providing reactive support for synchronization of heterogeneous components through reactive on-line code generation that complies with restrictions of a current system state;
a knowledge base builder within said logic agent network, said knowledge base builder including a user interface receiving system requirement information, said knowledge base builder responsive to said system requirement information for providing said restrictions of said current system data; and
an applications layer connected to and synchronized by the logic agent network.
6 Assignments
0 Petitions
Accused Products
Abstract
A Multiple-Agent Hybrid Control Architecture (MAHCA) uses agents to analyze design, and implement intelligent control of distributed processes. A single agent can be configured to control a local process and a network of agents can be configured to control more complex distributed processes. Multiple agents interact through messages and can be either permanent or temporary. The network of agents interact to create an emergent global behavior. The network of agents support construction of closed-loop, autonomous systems which react to comply with two degrees of freedom: (1) a logic degree of freedom (useful for implementing switching between modes of control) and (2) an evolution degree of freedom (useful for implementing particular modes of control). Global behavior is emergent from individual agent behaviors and is achieved without central control through the imposition of global constraints on the network of individual agent behaviors (the logic agent network). MAHCA is especially useful for reactive synchronization of real-time distributed processes subject to decision-making under uncertainty where both logical and evolution constraints on system operation must be continuously maintained and where human operators must be kept appraised of current system operation and whose decisions must be promptly and safely executed. MAHCA also provides support for reuse of existing trusted components and incremental provision of expanded functionality in old or new components through formal construction of provably correct real-time software from declarations of desired logic and evolution behavior of system components. Finally, MAHCA agents can be used in conventional digital procedures to speed up an ensemble of procedures.
-
Citations
29 Claims
-
1. A hybrid control system architecture comprising:
-
a logic agent network for providing reactive support for synchronization of heterogeneous components through reactive on-line code generation that complies with restrictions of a current system state; a knowledge base builder within said logic agent network, said knowledge base builder including a user interface receiving system requirement information, said knowledge base builder responsive to said system requirement information for providing said restrictions of said current system data; and an applications layer connected to and synchronized by the logic agent network. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10)
-
-
11. An agent for controlling a local process of a distributed hybrid system comprising:
-
a knowledge base for storing requirements of a local process; a knowledge base builder within the agent and connected to the knowledge base for acquiring system constraint information, the knowledge base builder having an interface to a user for receiving system requirement information; a knowledge decoder for inserting information from other agents into the knowledge base; a planner for generating a statement representing a desired behavior of the system as an existentially quantified logic expression; an inferencer for determining whether the statement is currently active in the knowledge base; and an adapter connected to the inferencer for modifying the statement if the statement is not currently active in the knowledge base. - View Dependent Claims (12, 13, 14, 15, 16)
-
-
17. An architecture for implementation of control of a distributed, real-time computing system comprising:
-
a generic software agent process for controlling a physical or logical device; a subprocess of the agent for extracting the agent'"'"'s current optimal control by computing an affine connection for a manifold associated with the system; a feedback loop in the agent for using violations of conservation laws to compute corrections to a Lagrangian used by the agent; and a memory map design for enabling the affine connection to be implemented for real time processes by arranging adjacent charts of an atlas of the manifold, through which a geodesic carrying the connection passes, to be close in memory access. - View Dependent Claims (18, 19, 20, 21, 22, 23, 24, 25, 26, 27)
-
-
28. A method for controlling a distributed real-time computing system comprising the steps of:
-
creating a description of the distributed, real-time computing system; proving that a solution to the system exists; enabling an affine connection to be implemented for real time processes by using a memory map process to arrange adjacent charts of an atlas of a manifold to be close in memory access; extracting a near optimal path to meet performance criteria for the system by calculating the affine connection; and generating automata that take actions according to a current system state to cause a compensated system state to follow a near-optimal path to meet performance criteria for the system.
-
-
29. A method for transforming a software procedure comprising the steps of:
-
creating a discrete software procedure representing physical or functional conditions; collecting data from at least one sensor; transforming the discrete software procedure into a differential equation whose solution contains values computed by the software procedure using data from the at least one sensor; converting the differential equation into a Hamilton-Jacobi-Bellman equation; coding recursion into an evolution of the Hamilton-Jacobi-Bellman equation; solving on-line the Hamilton-Jacobi-Bellman equation; and producing signals for controlling at least one action desired to be taken as a result of solving the Hamilton-Jacobi-Bellman equation.
-
Specification