A hybrid systems approach to computer-aided control engineering

Kohn, Wolf; James, J.R.; Nerode, Anil; Harbison, Karan; Agrawala, Ashok K.

doi:10.1109/cacsd.1994.288914

Cited by 5 publications

(5 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another important approach to tackle complex closedloop system dynamics is formal methods [151]. The embedded control systems naturally fall in the category of hybrid systems where physical plant is in continuous time while the corresponding control action is generated and applied in discrete time [152]. There are several approaches to study such systems [10].…”

Section: ) Input Saturationmentioning

confidence: 99%

Semantics-Preserving Cosynthesis of Cyber-Physical Systems

et al. 2018

View full text Add to dashboard Cite

show abstract

Section: ) Input Saturationmentioning

confidence: 99%

Semantics-Preserving Cosynthesis of Cyber-Physical Systems

et al. 2018

View full text Add to dashboard Cite

show abstract

“…Our approach is to customize our existing reactive, adaptive, real-time control architecture, termed Multiple-Agent Hybrid Control Architecture (MAHCA) [32,40,33] to control the interaction between heterogeneous, distributed simulations. The customization consists chiefly of assigning one or more decision makers, or "agents", to each simulation involved in a DIS process, see Figure 1, and to load each agent's knowledge base with logical and equational information about the simulation assigned to it and about primitives for interaction with other agents.…”

Section: Verificationmentioning

confidence: 99%

“…Specifically, the multiplier and transformations are expanded in a rational power series in the algebra defined in (33). Then the necessary conditions for duality are used to determine the conjunctions of equational forms and a partial order expression needed to construct a theorem of the form of (25) whose proof generates a multiplier for adjoining the constraint to the Lagrangian of the agent as another potential.…”

Section: Knowledge Decodermentioning

confidence: 99%

Reactive Control of Distributed Interactive Simulations

Kohn¹,

Remmel²,

Nerode³

1998

Self Cite

View full text Add to dashboard Cite

Rhodes Hall, Ithaca, NY 14853 (607) 255-8005 REPORT DOCUMENTATION PAGEForm Approved OMB NO. Public Reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comment regarding this burden estimates or any other aspect of this collection of information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for information Operations and Reports, 1215 Jefferson Davis Highway, Suite 1204, Arlington, VA 22202-4302, and In this paper we propose a distributed control architecture for Distributed Interactive Simulation (DIS) applications which allows for the dynamic integration and communication of interacting processes using inteligent control agents cooperating via a logic communication network. The type of DIS applications which we discuss include the interactive simulation initiative of the US Army to create a realistic warfare training environment by using high speed communications to permit real-time interaction between geographically dispersed warfare simulations with actual combat units in the field, cooperative game playing and virtual manufacturing. In this paper we propose a distributed control architecture for Distributed Interactive Simulation (DIS) applications which allows for the dynamic integration and communication of interacting processes using intelligent control agents cooperating via a logic communication network. The type of DIS applications which we discuss include the interactive simulation initiative of the US Army to create a realistic warfare training environment by using high speed communications to permit real-time interaction between geographically dispersed warfare simulations with actual combat units in the field, cooperative game playing, and virtual manufacturing. Our architecture, termed Multiple Agent Hybrid Control Architecture (MAHCA), is based on recent advancements in hybrid systems theory and applications. Our approach provides for the flexible interoperability of distributed, real-time information systems by generating, in real time, control programs which comply with logical and evolutionary specifications. 185 IntroductionA network of distributed interactive simulations is a hybrid system, that is, a system described by an amalgamation of logical and evolution models. The type of applications that motivated our work here is a distributed interactive simulation initiative of the US Army to create a realistic warfare training environment by using high speed communications to permit real-time interaction between geographically dispersed warfare simulations, with a wide range of capabilities and scale of operation, with actual combat units in the field, see [68,69,70]. Other applications include cooperative game playing over the Internet, virtual manufacturing and virtual enterprises. We will refer to all these...

show abstract

“…An overview of the logics themselves is given in Section 1.4. The framework given here is loosely based on Nerode and Kohn's "Multiple Agent Hybrid Control Architecture (MAHCA)" 2 [KN92], [NK93b], [NK93c], [KJN+95], [KR97]. It might best be described as an attempt to identify the abstract form of the MAHCA framework, simplified to a single agent.…”

Section: Agents and Actionsmentioning

confidence: 99%

“…The properties listed here are implicit in the description of the MAHCA "agent controllers" in[KN92],[NK93b],[NK93c],[KJN+95],[KR97].…”

mentioning

confidence: 99%

Modal Logics for Continuous Dynamics

Davoren¹

1997

View full text Add to dashboard Cite

CORNELL UNIVERSITY 625 Rhodes Hall, Ithaca, NY 14853 (607) 255-8005 "1 REPORT DOCUMENTATION PAGE Form Approved OMB NO. 0704-0188Public Reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comment regarding this burden estimates or any other aspect of this collection of information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for information Operations and Reports, 1215 Jefferson Davis Highway, Suite 1204, Arlington, VA 22202-4302, and to the Office of Management and Budget, Paperwork Reduction Project (0704-0188.) Washington, DC 20503, 1. AGENCY USE ONLY (Leave Blank) 2. RT DAI TITLE AND SUBTITLE

show abstract

A hybrid systems approach to computer-aided control engineering

Cited by 5 publications

References 27 publications

Semantics-Preserving Cosynthesis of Cyber-Physical Systems

Semantics-Preserving Cosynthesis of Cyber-Physical Systems

Reactive Control of Distributed Interactive Simulations

Modal Logics for Continuous Dynamics

Contact Info

Product

Resources

About