Declarative abstractions for agent based hybrid control systems

Authors:
Louise A. Dennis;Michael Fisher;Nicholas K. Lincoln;Alexei Lisitsa;Sandor M. Veres
Affiliations:
Department of Computer Science, University of Liverpool, UK;Department of Computer Science, University of Liverpool, UK;School of Engineering, University of Southampton, UK;Department of Computer Science, University of Liverpool, UK;School of Engineering, University of Southampton, UK
Venue:
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Year:
2010

Citing 16
Cited 0

The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
An architecture for Real-Time Reasoning and System Control

IEEE Expert: Intelligent Systems and Their Applications
An Application of Action Theory to the Space Shuttle

PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems

SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Design, Simulation, and Implementation of Hybrid Systems

Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Toward Team-Oriented Programming

ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
The CQL continuous query language: semantic foundations and query execution

The VLDB Journal — The International Journal on Very Large Data Bases
Abstractions for hybrid systems

Formal Methods in System Design
Towards a streaming SQL standard

Proceedings of the VLDB Endowment
Database Query Processing Using Finite Cursor Machines

Theory of Computing Systems
Multi-Agent Programming: Languages, Tools and Applications

Multi-Agent Programming: Languages, Tools and Applications
Automated Verification of Multi-Agent Programs

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Verification and Control of Hybrid Systems: A Symbolic Approach

Verification and Control of Hybrid Systems: A Symbolic Approach
A theory of stream queries

DBPL'07 Proceedings of the 11th international conference on Database programming languages
Programming groups of rational agents

CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modern control systems are limited in their ability to react flexibly and autonomously to changing situations by the complexity inherent in analysing environments where many variables are present. We aim to use an agent approach to help alleviate this problem and are particularly interested in the control of satellite systems using BDI agent programming as pioneered by the PRS. Such systems need to generate discrete abstractions from continuous data and then use these abstractions in rational decision making. This paper provides an architecture and interaction semantics for an abstraction engine to interact with a hybrid BDI-based control system.