Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck.
Shuhao LiPaul PetterssonPublished in: ETFA (2010)
Keyphrases
- resource constrained
- real time systems
- case study
- controller synthesis
- embedded systems
- autonomic computing systems
- resource constraints
- sensor networks
- wireless sensor networks
- real time
- distributed systems
- multi agent
- low cost
- control system
- closed loop
- control algorithm
- open source
- software development
- multipath
- autonomic systems
- robotic systems
- routing algorithm
- constraint satisfaction problems
- computational intelligence
- evolutionary algorithm
- database systems
- artificial intelligence