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 |
This item is licensed under a Creative Commons License
