Specification and control synthesis for networked vehicle systems

Detalhes bibliográficos
Autor(a) principal: J. Borges de Sousa
Data de Publicação: 2003
Outros Autores: F. Lobo Pereira, Maria Bento Nunes
Tipo de documento: Livro
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/10216/71618
Resumo: A framework for the representation, formal specification, and control synthesis for networked vehicle systems is presented. From dynamic optimization, this framework has inherited the concepts and theories of optimality, reach set computation and control, and the motivation to improve the performance of increasingly complex physical processes. From set theory, this framework borrowed the representational power of the language of sets to capture the relations among vehicles and controllers in a way that is consistent with control design. The ANTEX-M project is described to illustrate the challenges posed by networked vehicle systems and to illustrate how the framework addresses these challenges.
id RCAP_a8b6427cd1caf2dcab3140e3b757e7f1
oai_identifier_str oai:repositorio-aberto.up.pt:10216/71618
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Specification and control synthesis for networked vehicle systemsCiências Tecnológicas, Outras ciências da engenharia e tecnologiasTechnological sciences, Other engineering and technologiesA framework for the representation, formal specification, and control synthesis for networked vehicle systems is presented. From dynamic optimization, this framework has inherited the concepts and theories of optimality, reach set computation and control, and the motivation to improve the performance of increasingly complex physical processes. From set theory, this framework borrowed the representational power of the language of sets to capture the relations among vehicles and controllers in a way that is consistent with control design. The ANTEX-M project is described to illustrate the challenges posed by networked vehicle systems and to illustrate how the framework addresses these challenges.20032003-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookapplication/pdfhttps://hdl.handle.net/10216/71618engJ. Borges de SousaF. Lobo PereiraMaria Bento Nunesinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-29T15:35:17Zoai:repositorio-aberto.up.pt:10216/71618Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T00:27:20.163140Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Specification and control synthesis for networked vehicle systems
title Specification and control synthesis for networked vehicle systems
spellingShingle Specification and control synthesis for networked vehicle systems
J. Borges de Sousa
Ciências Tecnológicas, Outras ciências da engenharia e tecnologias
Technological sciences, Other engineering and technologies
title_short Specification and control synthesis for networked vehicle systems
title_full Specification and control synthesis for networked vehicle systems
title_fullStr Specification and control synthesis for networked vehicle systems
title_full_unstemmed Specification and control synthesis for networked vehicle systems
title_sort Specification and control synthesis for networked vehicle systems
author J. Borges de Sousa
author_facet J. Borges de Sousa
F. Lobo Pereira
Maria Bento Nunes
author_role author
author2 F. Lobo Pereira
Maria Bento Nunes
author2_role author
author
dc.contributor.author.fl_str_mv J. Borges de Sousa
F. Lobo Pereira
Maria Bento Nunes
dc.subject.por.fl_str_mv Ciências Tecnológicas, Outras ciências da engenharia e tecnologias
Technological sciences, Other engineering and technologies
topic Ciências Tecnológicas, Outras ciências da engenharia e tecnologias
Technological sciences, Other engineering and technologies
description A framework for the representation, formal specification, and control synthesis for networked vehicle systems is presented. From dynamic optimization, this framework has inherited the concepts and theories of optimality, reach set computation and control, and the motivation to improve the performance of increasingly complex physical processes. From set theory, this framework borrowed the representational power of the language of sets to capture the relations among vehicles and controllers in a way that is consistent with control design. The ANTEX-M project is described to illustrate the challenges posed by networked vehicle systems and to illustrate how the framework addresses these challenges.
publishDate 2003
dc.date.none.fl_str_mv 2003
2003-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/book
format book
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/10216/71618
url https://hdl.handle.net/10216/71618
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799136186007027713

Registros relacionados