{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T23:40:09Z","timestamp":1741563609934,"version":"3.38.0"},"publisher-location":"Dordrecht","reference-count":48,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401060127"},{"type":"electronic","value":"9789401147903"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-94-011-4790-3_14","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T14:05:51Z","timestamp":1315404351000},"page":"309-336","source":"Crossref","is-referenced-by-count":1,"title":["On the Design of a Control Architecture for an Autonomous Mobile Robot"],"prefix":"10.1007","author":[{"given":"E.","family":"Pereira da Silva","sequence":"first","affiliation":[]},{"given":"F. Lobo","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"J. Borges","family":"Sousa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Pascoal, A. Bjerrun, A. and Coudeville, M,: \u201cMARIUS: An Autonomous Underwater Vehicle for Environmental Surveying\u201d, Procs. of the MAST and Euromar Market, CEC, Brussels, Belgium, 1993, pp. 764-758."},{"key":"14_CR2","unstructured":"Sousa, J. Borges, Pereira, F. Lobo and Silva, E. Pereira: \u201cA Dynamically Configurable Architecture for the Control of an AUV\u201d, Procs. of the OCEANS 94 Conf., Brest, France, Sept., 1994, pp 131\u2013136."},{"key":"14_CR3","unstructured":"Silva, E. Pereira, Sousa, J. Borges, Pereira, F. Lobo, Sequeira, J. and Ribeiro, I.: \u201cOn the Design of the Po-Robot System\u201d, Procs. of the IEEE Intelligent Vehicles Symposium 94, Paris, France, 1994."},{"key":"14_CR4","unstructured":"Sousa, J. Borges, Pereira, F. Lobo and Silva, E. Pereira: \u201cSoftware Architectures for Autonomous Vehicles: Survey\u201d, Workshop AUVs, Porto, Portugal, Sept. 93."},{"key":"14_CR5","unstructured":"Harmon, S. Y.: \u201cArchitectures: Designers versus Implementors\u201d, in Procs. of the Workshop On Architectures for Intelligent Control Systems, IEEE Int. Conf. on Robotics and Automation, Nice, France, May 1992, pp.1\u20136."},{"key":"14_CR6","unstructured":"Chatila, R. Alami, Degallaix and H. Haruelle: \u201cIntegrated Planning and Execution Control of Autonomous Robot Actions\u201d, Procs. IEEE Int. Conf. on Rob. & Autom., Nice, France, 1992."},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/0005-1098(84)90073-6","volume":"20","author":"G Saridis","year":"1984","unstructured":"Saridis, G., Graham, J.: \u201cLinguistic Decision Schemata for Intelligent Robots,\u201d Automatica, vol. 20, n\u00b0 1, 1984, pp.12\u2013126.","journal-title":"Automatica"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TSE.1980.230208","volume":"SE-6","author":"K Heninger","year":"1980","unstructured":"Heninger, K.: \u201cSpecifying Software Requirements for Complex Systems: New techniques and their applications\u201d, IEEE Trans. Soft. Eng., vol. SE-6, n\u00b0 1, Jan. 1980, pp.2\u201312.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"14_CR9","unstructured":"Pressman, R.: Software Engineering: A Practitioner's Approach, Macgraw-Hill Int. Editions, 1992."},{"key":"14_CR10","unstructured":"IEEE P1220 Trial-and-Use Standard for Systems Engineering, IEEE Standards Dept.,NY, 1994."},{"issue":"4","key":"14_CR11","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1109\/87.260267","volume":"1","author":"D Simon","year":"1993","unstructured":"Simon, D., Espiau, B., Castillo, C., Kapellos, K.: \u201cComputer-Aided Design of a Generic Robot Controller Handling Reactivity and Real-Time Control Issues\u201d, IEEE Trans. on Control Systems Technology, vol. 1, n\u00b04, Dec. 1993, pp. 213\u2013229.","journal-title":"IEEE Trans. on Control Systems Technology"},{"key":"14_CR12","volume-title":"Formal Verification of Mission and Tasks Application to Underwater Robotics","author":"D Simon","year":"1995","unstructured":"Simon, D., Kapellos, K.., Espiau, B.: \u201cFormal Verification of Mission and Tasks Application to Underwater Robotics\u201d, pre-print, Workshop on Hybrid Systems, Grenoble, France, Sept. 1995."},{"key":"14_CR13","unstructured":"Ying, Z.: \u201cA Foundation for the Design and Analysis of Robotic Systems and Behaviours\u201d, PhD thesis, British Columbia University, Sept. 1994."},{"key":"14_CR14","unstructured":"Antsaklis, P.: \u201cFinal Report of the Task Force on Intelligent Control, Technical Committee on Intelligent Control\u201d, IEEE Control Systems Society, December 1993."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Henzinger, T., Manna, Z., and Pnueli, A.: \u201cTowards Refining Temporal Specifications into Hybrid Systems\u201d, in: Hybrid Systems, Grossman, R., Nerode, A., Ravn, A., and Rischel, H., eds., Lect. Notes in Comp. Sci. n\u00b0 736, Springer Verlag, 1993, pp.60\u201376.","DOI":"10.1007\/3-540-57318-6_24"},{"key":"14_CR16","unstructured":"Henzinger, T., Ho, P.: \u201cModel Checking Strategies for Linear Hybrid Systems\u201d, 7th Int. Conf. Indust. & Eng. Applic. of A.I. & Expert Syst., Austin, TX, May 1994."},{"issue":"1","key":"14_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/32.210306","volume":"18","author":"A Ravn","year":"1993","unstructured":"Ravn, A., Rischel, H., Hansen, K.: \u201cSpecifying and Verifying Requirements for Real-Time Systems\u201d, IEEE Trans. Soft. Eng., vol.18, N\u00b01, Jan. 1993, pp.41\u201355.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"14_CR18","unstructured":"Samson, C, Espiau, B., Le Borge, M.: \u201cRobot Control: The Task Function Approach\u201d, Oxford University Press, 1990."},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T. and Ho, P.: \u201cHybrid Automata: An Algorithm Approach to the Specification and Verification of Hybrid Systems\u201d, Hybrid Systems, R. Grossman, A. Nerode, R. Ravn and H. Rischel eds., Lect. Notes in Comp. Sci. n\u00b0 736, Springer Verlag, 1993, pp.209\u2013229.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"14_CR20","unstructured":"Espiau, B., Simon, D., Kapellos, K..: \u201cFormal Verification of Missions and Tasks\u201d, pre-print, INRIA, 1995."},{"issue":"3","key":"14_CR21","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1109\/21.97471","volume":"21","author":"J Albus","year":"1991","unstructured":"Albus J.: \u201cOutline for a Theory of Intelligence,\u201d IEEE Transactions on Systems, Man, and Cybernetics, Vol. 21, n\u00b0. 3, pp. 473\u2013509, May\/June 1991.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Albus, J.: \u201cSystem Description and Design Architecture for Multiple Autonomous Undersea Vehicles\u201d, NIST Tech. Note 1251, Washington, DC, Sept., 1988.","DOI":"10.6028\/NIST.TN.1251"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Albus, J., Quintero R.: \u201cTowards a Reference Model Architecture for Real-Time Intelligent Control Systems (ARTICS)\u201d, Robotics and Manufacturing, New York, ASME, vol.3, 1990.","DOI":"10.6028\/NIST.TN.1277"},{"key":"14_CR24","unstructured":"Saridis, G.: \u201cFoundation of the Theory on Intelligent Control,\u201d Procs. IEEE Workshop on Intelligent Control, Rensselaer Polytechnique Institute, Troy, N.Y. 1985, pp.23\u201328."},{"issue":"3","key":"14_CR25","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1016\/0005-1098(89)90016-2","volume":"25","author":"G Saridis","year":"1989","unstructured":"Saridis, G.: \u201cAnalytic Formulation of the Principle of Increasing Intelligent with Decreasing Precision for Intelligent Machines,\u201d Automatica, Vol. 25, n\u00b0. 3, pp.461\u2013467, 1989.","journal-title":"Automatica"},{"key":"14_CR26","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/0005-1098(90)90001-X","volume":"20","author":"F Wang","year":"1990","unstructured":"Wang, F., Saridis G.: \u201cA Coordination Theory for Intelligent Machines\u201d, Automatica, Vol. 20, N\u00b0 5, 1990, pp.833\u2013844.","journal-title":"Automatica"},{"issue":"4","key":"14_CR27","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/21.108296","volume":"21","author":"F Wang","year":"1991","unstructured":"Wang, F., Kyriakopoulos, K., A. Tsolkas and G. Saridis.: \u201cA Petri-net for an Intelligent Mobile Robot\u201d, IEEE Trans. on Systems, Man and Cybernetics, Vol. 21, No. 4, July\/August 1991, pp.777\u2013789.","journal-title":"IEEE Trans. on Systems, Man and Cybernetics"},{"key":"14_CR28","unstructured":"Lima, P.: \u201cFeedback-Based Performance Improvement of Intelligent Control Systems\u201d, Procs. Int. URIC Program Development, US\/Portugal Workshop, March, 2-3, 1995, pp.105\u2013110."},{"key":"14_CR29","unstructured":"Chatila, R., Ingrand, F. and Alami, R.: \u201cMission Planning and Execution Control for Intervention Robots\u201d, Procs. of the International Program Development in Undersea Robotics & Intelligent Control \u2014 a joint US\/Portugal Workshop, March, 2-3, 1995, Lisboa, Portugal, pp.38\u201343."},{"key":"14_CR30","unstructured":"Giralt, G., Sobek, R. P., Chatila, R.: \u201cA Multi-Level Planning and Navigation System for a Mobile Robot: a First Approach to HILARE\u201d, Procs. 6th IJCAI, Tokyo, Japan, August 1979."},{"key":"14_CR31","unstructured":"Giralt, G., Chatila, R., Vaisset, M., \u201cAn Integrated Navigation and Motion Control System for Autonomous Multisensory Mobile Robots\u201d, Procs 1st Int. Symp. on Robotics Research, M.I.T., Michael Brady, Richard Paul, Eds, 1983."},{"issue":"2","key":"14_CR32","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1109\/70.370506","volume":"11","author":"F Noreils","year":"1995","unstructured":"Noreils, F., Chatila, R.: \u201cPlan Execution Monitoring and Control Architecture for Mobile Robots\u201d, IEEE Trans. Rob. & Autom., Vol.11No.2, April 1995, pp.255\u2013266.","journal-title":"IEEE Trans. Rob. & Autom."},{"key":"14_CR33","unstructured":"Fleury, Sara: \u201cArchitecture de Contr\u00f4le Distribu\u00e9e Pour Robots Mobiles Autonomes: Principes, Conception et Applications\u201d, PhD thesis, Universit\u00e9 Paul Sabatier de Toulouse, Rapport LAAS N\u00b0 96156, 1996."},{"key":"14_CR34","unstructured":"Alami, R., Chatila, R. and Freeman, P.: \u201cTask Level Teleprogramming for Intervention Robots\u201d, Procs of Mobile Robots for Subsea Environments; IARP, Monterey, CA, 1991, pp 119\u2013136."},{"key":"14_CR35","unstructured":"Brooks R., \u201cAchieving Artificial Intelligence Through Building Robots,\u201d M.I.T. Artificial Intelligence Laboratory, Memo 899, May 1986."},{"key":"14_CR36","doi-asserted-by":"crossref","unstructured":"Brooks, R., \u201cA Robust Layered Control System for a Mobile Robot\u201d, IEEE Journal of Robotics and Automation, Vol. RA-2, 1, March 1986.","DOI":"10.1109\/JRA.1986.1087032"},{"key":"14_CR37","unstructured":"Laengle, TH. and Lueth, T.C.: \u201cDecentralized Control of Distributed Intelligent Robots and Subsystems\u201d.."},{"key":"14_CR38","unstructured":"Lueth. T.C. and U. Rembold: \u201cExtensive Manipulation Capabilities and Reliable Behaviour at Autonomous Robot Assembly\u201d, IEEE Int. Conference on Robotics and Automation, San Diego, CA,1994"},{"key":"14_CR39","doi-asserted-by":"crossref","unstructured":"Schneider, S., Chen, V. and Pardo-Catellote, G.: \u201cThe ControlShell Components \u2014 Based Real-Time, Programming System\u201d, IEEE Int. Conference on Automation, Nagoya, Japan, 1995.","DOI":"10.1109\/ROBOT.1995.525616"},{"key":"14_CR40","doi-asserted-by":"crossref","unstructured":"Stewart, D., Khosla, P.: \u201cThe Chimera Methodology: Designing Dynamically Reconfigurable and Reusable Real-time Software using Port-Based Objects\u201d: Journal of Software Engineering and Knowledge Engineering, June 1996, pp.249\u2013257.","DOI":"10.1142\/S0218194096000120"},{"issue":"3","key":"14_CR41","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1109\/JOE.1986.1145191","volume":"OE-11","author":"D Yoerger","year":"1986","unstructured":"Yoerger, D., Newman, J., Slotine: J., \u201cSupervisory Control System for the JASON ROV\u201d, IEEE J. Ocean. Eng., vol. OE-11, No. 3, July 1986, pp.392\u2013399.","journal-title":"IEEE J. Ocean. Eng."},{"key":"14_CR42","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0005-1098(88)90022-2","volume":"24","author":"G Saridis","year":"1988","unstructured":"Saridis, G. and K. Valavanis: \u201cAnalytic Design of Intelligent Machines\u201d, Automatica, Vol. 24, 1988, pp.123\u2013133.","journal-title":"Automatica"},{"key":"14_CR43","unstructured":"Po-Robot: \u201cMulti-Purpose Portuguese Flexible Mobile Robot, Working Plan Proposal\u201d, Institute of Systems and Robotic, Porto,Portugal,1995"},{"key":"14_CR44","unstructured":"\u201cVehicle Management System\u201d: Po-Robot Task 3 Report, Institute of Systems and Robotic, Porto, Portugal, 1997."},{"key":"14_CR45","doi-asserted-by":"crossref","unstructured":"Ostroff, J.S.: \u201cSynthesis of Controllers for Real-time Discrete Event Systems\u201d, Procs. of the 28th Conference on Decision and Control, Tampa, Florida, December 1989, pp. 138\u2013144","DOI":"10.1109\/CDC.1989.70091"},{"issue":"4","key":"14_CR46","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1109\/9.52290","volume":"35","author":"JS Ostroff","year":"1990","unstructured":"Ostroff, J.S. and Wonham W., M.: \u201cA Framework for Real-Time Discrete Event Control\u201d, in IEEE Transactions on Automatic Control, Vol 35 N. 4, Abril 1990, pp.386\u2013397.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"14_CR47","unstructured":"Sousa. J.: \u201cOn the Control of Remus Vehicle\u201d, Remus Project Report, Institute of Systems and Robotic, Porto, Portugal, 1997."},{"key":"14_CR48","unstructured":"\u201cFunctional System\u201d: Po-Robot Sub-Task ST2\/T3 Report, Institute of Systems and Robotic, Porto,Portugal, 1997."}],"container-title":["Advances in Intelligent Autonomous Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-011-4790-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T23:08:24Z","timestamp":1741561704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-011-4790-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9789401060127","9789401147903"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-94-011-4790-3_14","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}