The following pages link to (Q4736610):
Displaying 13 items.
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (Q264193) (← links)
- Model checking learning agent systems using Promela with embedded C code and abstraction (Q333329) (← links)
- Qualitative fault tolerance analysis for a class of hybrid systems (Q534384) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Approximated Reachability on Hybrid Automata: Falsification meets Certification (Q4982085) (← links)
- (Q5079750) (← links)
- The minimum principle of hybrid optimal control theory (Q6188525) (← links)
