This Article 
 Bibliographic References 
 Add to: 
Satellite Control Using Rational Agent Programming
May/June 2010 (vol. 25 no. 3)
pp. 92-97
Louise Dennis, University of Liverpool
Michael Fisher, University of Liverpool
Alexei Lisitsa, University of Liverpool
Nicholas Lincoln, University of Southampton
Sandor Veres, University of Southampton

Recently, the space industry has sought to abandon large monolithic platforms in favor of multiple, smaller satellites working in teams to accomplish the task of a larger vehicle through distributed methods. This article describes ongoing work at the Universities of Liverpool and Southampton on using agent programming technology to control complex autonomous satellites.

1. P. D'Arrigo and S. Santandrea, "The APIES Mission to Explore the Asteroid Belt," Advances in Space Research, vol. 38, no. 9, 2006, pp. 2060–2067.
2. M.S. Branicky, V.S. Borkar, and S. Mitter, "A Unified Framework for Hybrid Control: Model and Optimal Control Theory," IEEE Trans. Automatic Control, vol. 43, no. 1, 1998, pp. 31–45.
3. R. Goebel, R. Sanfelice, and A. Teel, "Hybrid Dynamical Systems," IEEE Control Systems Magazine, vol. 29, no. 2, 2009, pp. 28–93.
4. P. Varaiya, "Design, Simulation, and Implementation of Hybrid Systems," Proc. 20th Int'l Conf. Application and Theory of Petri Nets, Springer, 1999, pp. 1–5.
5. R. Alur et al., "The Algorithmic Analysis of Hybrid Systems," Theoretical Computer Science, vol. 138, no. 1, 1995, pp. 3–34.
6. R. Alur et al., "Discrete Abstractions of Hybrid Systems," Proc. IEEE, vol. 88, IEEE Press, 2000, pp. 971–984.
7. P.J. Fleming and R.C. Purshouse, "Genetic Algorithms in Control Systems Engineering," Proc. 12th IFAC World Congress, Elsevier Science, 2001, pp. 383–390.
8. F.W. Lewis, S. Jagannathan, and A. Yesildirak, Neural Network Control of Robots and Non-linear Systems, Taylor and Francis, 1999.
9. R.H. Bordini et al., "Automated Verification of Multi-Agent Programs," Proc. 23rd IEEE/ACM Int'l Conf. Automated Software Engineering (ASE), IEEE Press, 2008, pp. 69–78.
1. R.H. Bordini et al., eds., Multi-Agent Programming: Languages, Platforms and Applications, Springer, 2005.
2. R.H. Bordini et al., eds., Multi-Agent Programming: Languages, Tools and Applications, Springer, 2009.
3. R.H. Bordini et al., "Model Checking Rational Agents," IEEE Intelligent Systems, vol. 19, no. 5, 2004, pp. 46–52.
1. S.M. Veres, Natural Language Programming of Agents and Robotic Devices: Publishing for Humans and Machines in sEnglish, SysBrain, 2008.
2. L. Molnar and S.M. Veres, "Documents for Intelligent Agents in English," Proc. IASTED Conf. Artificial Intelligence and Applications (AIA 2010), Int'l Assoc. Science and Technology for Development, 2010, pp. 674–122.

Index Terms:
Agent technology, intelligent systems, rational agent programming, sEnglish, control systems technology, European Space Agency
Louise Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor Veres, "Satellite Control Using Rational Agent Programming," IEEE Intelligent Systems, vol. 25, no. 3, pp. 92-97, May-June 2010, doi:10.1109/MIS.2010.88
Usage of this product signifies your acceptance of the Terms of Use.