Symbolic Verification of PLC Safety-Applications based on PLCopen Automata.
Dimitri BohlenderHendrik SimonStefan KowalewskiPublished in: MBMV (2016)
Keyphrases
- safety analysis
- control system
- model checking
- cellular automata
- regular expressions
- finite automata
- formal verification
- finite state
- face verification
- fuzzy control
- symbolic representation
- neural learning
- finite state machines
- person identification
- tree automata
- probabilistic automata
- high level
- false acceptance
- real time
- programmable logic controller
- finite state automata
- signature verification
- formal analysis
- hardware and software
- monitoring system
- data sets