Specification of Embedded Control Systems Behaviour Using Actor Interface Automata.
Christo AngelovFeng ZhouKrzysztof SierszeckiPublished in: SEUS (2010)
Keyphrases
- control system
- user interface
- control software
- finite automata
- formal languages
- formal verification
- regular expressions
- real time
- cellular automata
- user friendly
- friendly interface
- industrial automation
- finite state
- embedded systems
- data sets
- control algorithm
- control law
- interface design
- mobile robot
- graphical interface
- high level
- search engine
- genetic algorithm
- databases