Logic Device Agents: Smart and highly reusable components in industrial automation systems.
Eugenio FaldellaAndrea TilliPrimiano TucciPublished in: ETFA (2010)
Keyphrases
- reusable components
- dynamic logic
- epistemic logic
- multi agent
- alternating time temporal logic
- multiagent systems
- multi agent systems
- multiple agents
- software reuse
- intelligent agents
- cooperative
- coalition logic
- source code
- autonomous agents
- logical framework
- design rationale
- software components
- decision making
- modal logic
- learning objects
- model checking
- smart spaces
- smart grid
- formal semantics
- logic programming
- software development
- software engineering
- case study