A Specification Language for Distributed Policy Control.
Shigeta KuninobuYoshiaki TakataDaigo TaguchiMasayuki NakaeHiroyuki SekiPublished in: ICICS (2002)
Keyphrases
- specification language
- formal specification
- programming language
- description language
- distributed systems
- master slave
- control policy
- cooperative
- control system
- action selection
- software environment
- peer to peer
- distributed environment
- artificial intelligence
- optimal policy
- control structure
- distributed control
- databases
- multi agent
- reinforcement learning
- information systems
- machine learning