Specification and control synthesis for networked vehicle systems

• Type: Article in International Conference Proceedings Book
• Date: 2003

Authors

J. Borges de Sousa (Author) FEUP; F. Lobo Pereira (Author) FEUP; Maria Bento Nunes (Author) Other

Conference proceedings International

Title: 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

Scientific classification

FOS: Engineering and technology > Other engineering and technologies

CORDIS: Technological sciences

Other information

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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 5