Specification and control synthesis for networked vehicle systems
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 performanc...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | book |
| Language: | eng |
| Published: |
2003
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10216/71618 |
| Country: | Portugal |
| Oai: | oai:repositorio-aberto.up.pt:10216/71618 |