Satellite Control Using Rational Agent Programming

Dennis, Louise A.; Fisher, Michael; Lisitsa, Alexei; Lincoln, Nicholas K.; Veres, Sándor M.

doi:10.1109/mis.2010.88

Cited by 15 publications

(24 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An example of such a publishing system is provided by NLP in sEnglish as documented in a series of publications [2][3][4][22][23][24][25][26][27]]. An alternative solution is to publish journal papers that have executable NLP sections in sEnglish [30].…”

Section: Designers and Users To Publish Methods For Machinesmentioning

confidence: 99%

Knowledge of machines: review and forward look

Veres

2011

Proceedings of the Institution of Mechanical Engineers, Part I:

View full text Add to dashboard Cite

This paper looks at the possibility of knowledge development of machines from an engineer's point of view. First, the increasing need for autonomous operations of vehicles, manufacturing facilities, utility networks, and robots is reviewed. From the point of view of operational design, five desirable ingredients are identified that can facilitate control autonomy. Most of these facilitators can be enabled by using the methodology of natural language programming and writing of documents that machines can read and utilize to improve their feedback control skills, their knowledge of the environment, and also their decision-making skills. A forward look outlines the benefits of 'publishing for machines', to manufacturing, vehicle operations, utility networks, and robots.

show abstract

Section: Designers and Users To Publish Methods For Machinesmentioning

confidence: 99%

Knowledge of machines: review and forward look

Veres

2011

Proceedings of the Institution of Mechanical Engineers, Part I:

View full text Add to dashboard Cite

show abstract

“…Fig. 2 shows the full architecture for our system [28]. R is a traditional BDI system dealing with discrete information, Π and Ω are traditional control systems, typically generated by MATLAB/SIMULINK, while A provides the vital "glue" between all these parts [26].…”

Section: System Architecturementioning

confidence: 99%

Practical verification of decision-making in agent-based autonomous systems

et al. 2014

Self Cite

View full text Add to dashboard Cite

We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete decision-making increases making them unattractive in situations where complex logical reasoning is required. In the programming of complex systems it has, therefore, become common to separate out logical decision-making into a separate, discrete, component. However, verification techniques have failed to keep pace with this development. We are exploring agent-based logical components and have developed a model checking technique for such components which can then be composed with a separate analysis of the continuous part of the hybrid system. Among other things this allows program model checkers to be used to verify the actual implementation of the decision-making in hybrid autonomous systems.

show abstract

“…We have developed agent-based satellite formation flying [1,16,17], agent-based UAVs [23], agent-based underwater autonomy (with Imperial College) [10], agent-based reconfigurable mission planning [12], essentially using similar styles of hybrid agent architectures. Our aim in the current Reconfigurable Autonomy project is to answer the question:…”

Section: Towards Genericitymentioning

confidence: 99%

“…So, we are generalizing and extending our hybrid agent architectures from [1,16,17,23] to provide the basis for this. The two key aspects of this architecture will be that (a) It is both rational and hybrid, allowing for reliable decision making in realistic environments, and (b) It is extensible with the potential interfaces to the environment being precisely described within a ''plug and play'' interface library of sensors/ controllers/actuators.…”

Section: Towards Genericitymentioning

confidence: 99%