Pages that link to "Item:Q673873"
From MaRDI portal
The following pages link to An algebraic approach to hybrid systems (Q673873):
Displaying 10 items.
- Algebraic Myhill-Nerode theorems (Q620959) (← links)
- An algebraic approach to hybrid systems (Q673873) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- A theory of interactions: Unifying qualitative and quantitative algebraic reasoning (Q1190523) (← links)
- Algebraic state space approach to model and control combined automata (Q1712571) (← links)
- A note on hybrid P systems (Q1868519) (← links)
- Symbolic verification of hybrid systems: an algebraic approach (Q2512180) (← links)
- Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems (Q3523123) (← links)
- (Q4763590) (← links)
- A Synthesis Algorithm for Hybrid Systems (Q5434512) (← links)