Pages that link to "Item:Q1801470"
From MaRDI portal
The following pages link to A modeling strategy for hybrid systems based on event structures (Q1801470):
Displaying 7 items.
- Analysis of a hybrid system using symbolic dynamics and Petri nets (Q1337727) (← links)
- Reachability analysis and simulation for hybridised Event-B models (Q2165506) (← links)
- A formal framework for Hybrid Event B (Q2520616) (← links)
- Modeling problems of hybrid event dynamic systems (Q4214201) (← links)
- Border collision bifurcations in a one-dimensional piecewise smooth map for a PWM current-programmed H-bridge inverter (Q4800341) (← links)
- Performance enhancement of wind turbine power regulation by switched linear control (Q5690211) (← links)
- Analysis of hybrid systems based on hybrid net condition/event system model (Q5928920) (← links)