Safety verification for distributed parameter systems using barrier functionals.
Mohamadreza AhmadiGiorgio ValmorbidaAntonis PapachristodoulouPublished in: Syst. Control. Lett. (2017)
Keyphrases
- distributed systems
- autonomous mobile
- expert systems
- data intensive
- databases
- model checking
- safety analysis
- mission critical
- formal methods
- computer systems
- cooperative
- complex systems
- mobile agents
- parameter values
- agent technology
- distributed data
- level set
- peer to peer networks
- higher order
- distributed computation
- face recognition