Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/71618
Author(s): J. Borges de Sousa
F. Lobo Pereira
Maria Bento Nunes
Title: Specification and control synthesis for networked vehicle systems
Issue Date: 2003
Abstract: A framework for the representation, formal specification,and control synthesis for networked vehicle systemsis presented. From dynamic optimization, this framework hasinherited the concepts and theories of optimality, reach setcomputation and control, and the motivation to improve theperformance of increasingly complex physical processes. Fromset theory, this framework borrowed the representational powerof the language of sets to capture the relations among vehiclesand controllers in a way that is consistent with control design.The ANTEX-M project is described to illustrate the challengesposed by networked vehicle systems and to illustrate how theframework addresses these challenges.
Subject: Ciências Tecnológicas, Outras ciências da engenharia e tecnologias
Technological sciences, Other engineering and technologies
Scientific areas: Ciências da engenharia e tecnologias::Outras ciências da engenharia e tecnologias
Engineering and technology::Other engineering and technologies
URI: https://repositorio-aberto.up.pt/handle/10216/71618
Source: Proceedings of the Second Annual Symposium on Autonomous Intelligent Networks and Systems (AINS2003)
Document Type: Artigo em Livro de Atas de Conferência Internacional
Rights: openAccess
License: https://creativecommons.org/licenses/by-nc/4.0/
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

Files in This Item:
File Description SizeFormat 
59950.pdf159.8 kBAdobe PDFThumbnail
View/Open


This item is licensed under a Creative Commons License Creative Commons