Pages that link to "Item:Q439952"
From MaRDI portal
The following pages link to Non-standard semantics of hybrid systems modelers (Q439952):
Displaying 10 items.
- Spatio-temporal averaging for a class of hybrid systems and application to conductance-based neuron models (Q313354) (← links)
- Control: a perspective (Q463779) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- A denotational semantics of simulink with higher-order UTP (Q2096416) (← links)
- Non-autonomous higher-order Moreau's sweeping process: Well-posedness, stability and Zeno trajectories (Q4962518) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- A Nonstandard Functional Programming Language (Q5056008) (← links)
- Constructive Collisions (Q5170749) (← links)
- Dynamical Systems Coupled with Monotone Set-Valued Operators: Formalisms, Applications, Well-Posedness, and Stability (Q5216245) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)
