Specification and control synthesis for networked vehicle systems

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2003

Autores

J. Borges de Sousa (Autor) FEUP; F. Lobo Pereira (Autor) FEUP; Maria Bento Nunes (Autor) Outra

Ata de Conferência Internacional

Título: Proceedings of the Second Annual Symposium on Autonomous Intelligent Networks and Systems (AINS2003)

Second Annual Symposium on Autonomous Intelligent Networks and Systems (AINS2003)

Menlo Park, Palo Alto, CA, USA, 30 de Junho a 1 de Julho de 2003

Classificação Científica

FOS: Ciências da engenharia e tecnologias > Outras ciências da engenharia e tecnologias

CORDIS: Ciências Tecnológicas

Outras Informações

Abstract (EN): 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 5