Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application.
Richard BanachHuibiao ZhuWen SuRunlei HuangPublished in: Formal Aspects Comput. (2014)
Keyphrases
- control system
- discrete space
- user interface
- case study
- continuous variables
- modeling method
- modeling tool
- modeling language
- design process
- formal methods
- continuous domains
- controller design
- discrete variables
- continuous action
- mathematical model
- piecewise linear
- real time
- knowledge based systems
- software engineering
- direct manipulation
- design guidelines
- intelligent user interfaces