933 research outputs found
Bisimulations and Logical Characterizations on Continuous-time Markov Decision Processes
In this paper we study strong and weak bisimulation equivalences for
continuous-time Markov decision processes (CTMDPs) and the logical
characterizations of these relations with respect to the continuous-time
stochastic logic (CSL). For strong bisimulation, it is well known that it is
strictly finer than CSL equivalence. In this paper we propose strong and weak
bisimulations for CTMDPs and show that for a subclass of CTMDPs, strong and
weak bisimulations are both sound and complete with respect to the equivalences
induced by CSL and the sub-logic of CSL without next operator respectively. We
then consider a standard extension of CSL, and show that it and its sub-logic
without X can be fully characterized by strong and weak bisimulations
respectively over arbitrary CTMDPs.Comment: The conference version of this paper was published at VMCAI 201
High-power pulse trains excited by modulated continuous waves
Pulse trains growing from modulated continuous waves (CWs) are considered,
using solutions of the Hirota equation for solitons on a finite background. The
results demonstrate that pulses extracted from the maximally compressed trains
can propagate preserving their shape and forming robust arrays. The dynamics of
double high-power pulse trains produced by modulated CWs in a model of optical
fibers, including the Raman effect and other higher-order terms, is considered
in detail too. It is demonstrated that the double trains propagate in a robust
form, with frequencies shifted by the Raman effect.Comment: 7 pages, 7 figure
- …