The following pages link to (Q4494244):
Displaying 8 items.
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Modeling of continuous time systems using a discrete time representation (Q751592) (← links)
- The discrete time version of the Romer model (Q1865194) (← links)
- Representation of a discretely controlled continuous system in tense arithmetic (Q2703755) (← links)
- Towards a UTP Semantics for Modelica (Q2971175) (← links)
- Discrete quantity approach to continuous simulation modelling (Q3156565) (← links)
- (Q3323808) (← links)
- Continuous Time Modeling in the Behavioral and Related Sciences (Q4558928) (← links)