Delay-dependent partial order reduction technique for real time systems.
Hanifa BouchenebKamel BarkaouiPublished in: Real Time Syst. (2018)
Keyphrases
- real time systems
- partial order reduction
- delay dependent
- model checking
- petri net
- robust stability
- asymptotic stability
- exponential stability
- stability criterion
- sufficient conditions
- real time
- distributed systems
- transmission line
- hopfield neural network
- embedded systems
- linear matrix inequality
- closed loop
- real time control
- tuning parameters
- fuzzy controller
- power system