Dual synthesis of Petri net based dependable logic controllers for safety critical systems.
Arkadiusz BukowiecJacek TkaczMarian AdamskiRemigiusz WisniewskiPublished in: HSI (2014)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- safety analysis
- embedded systems
- agent architecture
- nuclear power plant
- support systems
- adaptive systems
- distributed systems
- regulatory requirements
- intelligent systems
- control system
- learning systems
- knowledge representation
- multi agent systems
- reinforcement learning
- information systems
- artificial intelligence
- real time