Intelligent autonomous robots and multiagent systems, having different skills and capabilities for specific subtasks, have the potential to solve problems more efficiently and eff...
This paper presents preliminary work on the design of control systems for pedestrian mobility aids for the elderly. The elderly are often restricted in their mobility and must rel...
Glenn S. Wasson, James P. Gunderson, Sean Graves, ...
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an...
Simulation models can be time-consuming to build and often multiple models are built to simulate similar systems that have small differences. While developing a model to evaluate ...