Academia.eduAcademia.edu

Outline

Satellite Control Using Rational Agent Programming

2010, IEEE Intelligent Systems

References (17)

  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. Agent Programming IS-25-03-agents.indd 4 27/04/10 1:27 PM References
  4. S.M. Veres, Natural Language Programming of Agents and Robotic Devices: Publishing for Humans and Machines in sEnglish, SysBrain, 2008.
  5. 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. sEnglish IS-25-03-agents.indd 5 27/04/10 1:27 PM References
  6. 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.
  7. M.S. Branicky, V.S. Borkar, and S. Mitter. "A Unified Framework for Hybrid Control: Model and Optimal Control Theory," IEEE Trans. Auto- matic Control, vol. 43, no. 1, 1998, pp. 31-45.
  8. R. Goebel, R. Sanfelice, and A. Teel, "Hybrid Dynamical Systems," IEEE Control Systems Magazine, vol. 29, no. 2, 2009, pp. 28-93.
  9. 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.
  10. R. Alur et al., "The Algorithmic Analysis of Hybrid Systems," Theoreti- cal Computer Science, vol. 138, no. 1, 1995, pp. 3-34.
  11. R. Alur et al., "Discrete Abstractions of Hybrid Systems," Proc. IEEE, vol. 88, IEEE Press, 2000, pp. 971-984.
  12. P.J. Fleming and R.C. Purshouse, "Genetic Algorithms in Control Sys- tems Engineering," Proc. 12th IFAC World Congress, Elsevier Science, 2001, pp. 383-390.
  13. F.W. Lewis, S. Jaganna- than, and A. Yesildirak, Neural Network Control of Robots and Non-linear Systems, Taylor and Fran- cis, 1999.
  14. R.H. Bordini et al., "Auto- mated Verification of Multi-Agent Programs," Proc. 23rd IEEE/ACM Int'l Conf. Automated Software Engineering (ASE), IEEE Press, 2008, pp. 69-78.
  15. Louise Dennis is a researcher at the University of Liverpool. Contact her at L.A.Dennis@liverpool.ac.uk.
  16. michael Fisher is a professor at the Univer- sity of Liverpool. Contact him at MFisher@ liverpool.ac.uk. alexei Lisitsa is a lecturer at the Univer- sity of Liverpool. Contact him at lisitsa@ liverpool.ac.uk. nicholas Lincoln is a researcher at the University of Southampton. Contact him at n.k.lincoln@soton.ac.uk.
  17. Sandor Veres is a professor at the Uni- versity of Southampton. Contact him at s.m.veres@soton.ac.uk. Selected CS articles and columns are also available for free at http://ComputingNow.computer.org.