The following pages link to An algebra of hybrid systems (Q1001892):
Displaying 21 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- An algebraic approach to computations with progress (Q299188) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- An algebraic approach to hybrid systems (Q673873) (← links)
- On symbolic hybrid systems (Q999561) (← links)
- A theory of interactions: Unifying qualitative and quantitative algebraic reasoning (Q1190523) (← links)
- Unifying theories of time with generalised reactive processes (Q1708268) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- A note on hybrid P systems (Q1868519) (← links)
- (Q2722027) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- Towards an Algebra for Real-Time Programs (Q2915135) (← links)
- Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)
- (Q4763590) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- (Q5377470) (← links)
- A Synthesis Algorithm for Hybrid Systems (Q5434512) (← links)
- Hybrid Systems: Computation and Control (Q5703947) (← links)
- Hybrid Systems: Computation and Control (Q5703962) (← links)
- Using fuzzy relational hybrid models to control mixed-valued dynamic systems with discrete-valued inputs (Q6595158) (← links)
