Pages that link to "Item:Q5055953"
From MaRDI portal
The following pages link to From finite automata toward hybrid systems (Extended abstract) (Q5055953):
Displaying 13 items.
- Automata and logics over finitely varying functions (Q636272) (← links)
- Computability of analog networks (Q870263) (← links)
- Finite variability interpretation of monadic logic of order (Q1606122) (← links)
- Cyber-physical systems (Q1699390) (← links)
- From electrical switched networks to hybrid automata (Q2281635) (← links)
- (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program (Q2843996) (← links)
- Minimalilty of Finite Automata Representation in Hybrid Systems Control (Q3612983) (← links)
- (Q4246810) (← links)
- (Q4537137) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- From Logic to Theoretical Computer Science – An Update (Q5452171) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897961) (← links)
- Using hybrid automata to support human factors analysis in a critical system (Q5959852) (← links)