Pages that link to "Item:Q3506869"
From MaRDI portal
The following pages link to Approximating Continuous Systems by Timed Automata (Q3506869):
Displaying 11 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)
- On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically (Q4454754) (← links)
- Automata-Based Computation of Temporal Equilibrium Models (Q4909313) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)