The following pages link to Hybrid action systems (Q1853618):
Displaying 14 items.
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Object-oriented hybrid systems of coalgebras plus monoid actions (Q1575271) (← links)
- Coordinating action systems (Q1592481) (← links)
- Hybrid process algebra (Q1763160) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- A formal framework for Hybrid Event B (Q2520616) (← links)
- Continuous action systems as a model for hybrid systems (Q2743704) (← links)
- Linear hybrid action systems (Q2743714) (← links)
- Relating hybrid chi to other formalisms (Q2864397) (← links)
- Towards a hybrid dynamic logic for hybrid dynamic systems (Q2867948) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (Q3184681) (← links)