State space abstraction for parameterized self-stabilizing embedded systems.
Nikolaos D. LiverisHai ZhouRobert P. DickPrithviraj BanerjeePublished in: EMSOFT (2008)
Keyphrases
- embedded systems
- state space
- state abstraction
- low cost
- embedded devices
- computing power
- dynamic programming
- embedded software
- reinforcement learning
- heuristic search
- real time systems
- resource limited
- high level
- dynamical systems
- real time image processing
- software systems
- processing power
- markov decision processes
- hardware software
- optimal policy
- safety critical
- search space
- hw sw
- embedded real time systems
- macro actions
- consumer electronics
- real time embedded
- artificial intelligence
- flash memory
- communication technologies
- multi agent systems
- multi agent
- software architecture
- case study
- web services