Satellite Control Using Rational Agent Programming
2010, IEEE Intelligent Systems
References (17)
- R.H. Bordini et al., eds., Multi-Agent Programming: Languages, Platforms and Applications, Springer, 2005.
- R.H. Bordini et al., eds., Multi-Agent Programming: Languages, Tools and Applications, Springer, 2009.
- 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
- S.M. Veres, Natural Language Programming of Agents and Robotic Devices: Publishing for Humans and Machines in sEnglish, SysBrain, 2008.
- 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
- 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.
- 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.
- R. Goebel, R. Sanfelice, and A. Teel, "Hybrid Dynamical Systems," IEEE Control Systems Magazine, vol. 29, no. 2, 2009, pp. 28-93.
- 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.
- R. Alur et al., "The Algorithmic Analysis of Hybrid Systems," Theoreti- cal Computer Science, vol. 138, no. 1, 1995, pp. 3-34.
- R. Alur et al., "Discrete Abstractions of Hybrid Systems," Proc. IEEE, vol. 88, IEEE Press, 2000, pp. 971-984.
- 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.
- F.W. Lewis, S. Jaganna- than, and A. Yesildirak, Neural Network Control of Robots and Non-linear Systems, Taylor and Fran- cis, 1999.
- 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.
- Louise Dennis is a researcher at the University of Liverpool. Contact her at L.A.Dennis@liverpool.ac.uk.
- 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.
- 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.