Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
Peter Bulychev, Thomas Chatain, Alexandre David, K...
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...
We consider a wireless communication system where multiple co-channel users transmit data via a synchronous, frequency-flat Rayleigh fading channel. The receiver employs an antenna...
Michael Krause, Desmond P. Taylor, Philippa A. Mar...
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...