Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems.
Saurav Kumar GhoshAkash MondalSouradeep DuttaAritra HazraSoumyajit DeyPublished in: VDAT (2016)
Keyphrases
- control system
- cellular automata
- highly reliable
- stability analysis
- probabilistic automata
- asymptotic stability
- embedded systems
- control software
- scheduling algorithm
- finite automata
- real environment
- regular expressions
- reliability assessment
- database
- process control
- tree automata
- reliability analysis
- closed loop
- industrial automation
- watermarking algorithm
- query language
- texture synthesis
- lattice gas