Specification and planning of UAV missions: a Process Algebra approach.
Sertac KaramanSteven RasmussenDerek B. KingstonEmilio FrazzoliPublished in: ACC (2009)
Keyphrases
- process algebra
- formal specification
- asynchronous circuits
- concurrent systems
- formal methods
- unmanned aerial vehicles
- model checking
- search and rescue
- web services composition
- mission planning
- concurrent programs
- communication protocols
- protocol specification
- planning problems
- distributed systems
- petri net
- formal languages
- grid workflow
- temporal logic
- path planning
- planning domains
- building blocks
- aerial vehicles
- domain independent
- software engineering
- relational databases
- case study