Two decades ago, Alur, Henzinger, and Vardi introduced the reachability problem for parametric timed automata in the seminal paper [2]. Their main results are that reachability is decidable for timed automata with a single parametric clock, and undecidable for timed automata with three or more parametric clocks. In the case of two parametric clocks, decidability was left open, with hardly any p...

Abstract We construct a new family of non-parametric statistical manifolds by means two-parameter class deformed exponential functions, that includes functions with power-law, linear and sublinear rates growth. The are modelled on weighted, mixed-norm Sobolev spaces especially suited to this purpose, in the sense an important nonlinear superposition operators (those used construction divergence...

<span>The paper presents a new step-by-step procedure for constructing navigation satellite motion model. At the first stage of procedure, parameters radiation pressure model are estimated using maximum likelihood method. The statistic estimator based on continuous-discrete adaptive unscented Kalman filter is proposed solar estimation. Step-by-step scheme filtering algorithm used software...