Pages that link to "Item:Q3506869"
From MaRDI portal
The following pages link to Approximating Continuous Systems by Timed Automata (Q3506869):
Displaying 9 items.
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Timed-automata abstraction of switched dynamical systems using control invariants (Q1699229) (← links)
- Analyzing Oscillatory Behavior with Formal Methods (Q2937728) (← links)
- Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels (Q2945582) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
