Wyniki wyszukiwania - BazTech

1

SMT-based reachability analysis for simply-timed systems

Zbrzezny A. M., Zbrzezny A.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

|

2015

|

Vol. 20

83--92

EN

In the paper we present Satisfiability Modulo Theory based (SMT-based) reachability analysis algorithm for Simply-Timed Systems (i.e., Kripke structures where each transition holds a duration, which is an arbitrary natural number) generated by simply-timed automata. The algorithm is based on a SMT-based encoding for Simply-Timed Systems. We have tested the algorithm in question by using the generic simply timed pipeline paradigm model as the benchmark. The performance evaluation of the algorithm is given by means of the running time and the memory used.

2

Time, its scales and part in satellite navigation systems

Januszewski J.

Zeszyty Naukowe / Akademia Morska w Szczecinie

|

2010

|

nr 20 (92)

52-59

EN

There are different scales related to time; actually two the most important timescales are the TAI (Time Atomic International) and the UTC (Universal Time Coordinated). In addition to these times Satellite Navigation Systems (SNS) have developed their own system time: GPS Time (GPST), the GLONASS System Time (GLONASSST) and the Galileo System Time (GST). The sources, the generation and the relation between all these times and timescales are described in this paper. Additionally the time dilution of precision (TDOP) coefficient and the data concerning the time transmitted in navigation messages by satellites of different SNS will be presented.

PL

Z czasem związane są różne skale, ale dwie najważniejsze z nich to TAI (Międzynarodowa Skala Atomowa) i UTC (Czas Uniwersalny Skoordynowany). Nawigacyjne Systemy Satelitarne (NSS) stworzyły jednak własne skale czasu: GPST - czas systemu GPS, GLONASSST - czas systemu GLONASS i GST - czas systemu Galileo. W artykule omówiono źródła, pochodzenie i relacje zachodzące między wszystkimi ww. czasami i skalami. Dodatkowo opisano współczynnik dokładności pozycji użytkownika TDOP oraz te parametry dotyczące czasu, które są przekazywane w depeszach nawigacyjnych satelitów poszczególnych systemów.

3

Pole-assignment for controllable positive linear discrete time systems

Kostova S.

Systems Science

|

2002

|

Vol. 28, nr 2

41-50

EN

The aim of this paper is to investigate the relation between controllability and pole-assignment for positive linear discrete-time systems by analogy with nonconstrained systems on the basis of existing in the literature controllability criteria and controllability canonical form. Conditions on the system matrices and closed-loop eigenvalues are presented, which guarantee that there exists a positive feedback matrix with appropriate structure such that the closed-loop system is positive and should have a prescribed set of eigenvalues. The method and procedure for pole-assignment of controllable positive systems are proposed. A numerical example illustrating the procedure is provided.