Informační systém Masarykovy univerzity 

On Expressing and Monitoring Oscillatory Dynamics

česky | in English

DLUHOŠ, Petr, Luboš BRIM a David ŠAFRÁNEK. On Expressing and Monitoring Oscillatory Dynamics. Electronic Proceedings in Theoretical Computer Science, Newcastle Upon Tyne: EPTCS, 2012, roč. 2012, č. 92, s. 73-87. ISSN 2075-2180. doi:10.4204/EPTCS.92.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název On Expressing and Monitoring Oscillatory Dynamics
Autoři DLUHOŠ, Petr (203 Česká republika, domácí), Luboš BRIM (203 Česká republika, domácí) a David ŠAFRÁNEK (203 Česká republika, garant, domácí).
Vydání Electronic Proceedings in Theoretical Computer Science, Newcastle Upon Tyne, EPTCS, 2012, 2075-2180.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor Informatika
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/12:00057626
Organizační jednotka Fakulta informatiky
Doi http://dx.doi.org/10.4204/EPTCS.92
Klíčová slova anglicky dynamical systems; oscillation; monitoring; Signal Temporal Logic
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 11. 4. 2013 17:36.
Anotace
To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm deciding the satisfiability of STL formulae on finite discrete samples of continuous signals. The logic has been used to express and analyse biological systems, but it is not expressive enough to sufficiently distinguish oscillatory properties important in biology. In this paper we define the extended logic STL* in which STL is augmented with a signal-value freezing operator allowing us to express (and distinguish) detailed properties of biological oscillations. The logic is supported by a monitoring algorithm prototyped in Matlab. The monitoring procedure of STL* is evaluated on a biologically-relevant case study.
Návaznosti
CZ.1.07/2.3.00/20.0256, interní kód MU
(Kód CEP: EE2.3.20.0256)
Název: Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice (Akronym: CyanoTeam)
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Operační program Vzdělávání pro konkurenceschopnost (VK), 2.3 Lidské zdroje ve výzkumu a vývoji
GAP202/11/0312, projekt VaVNázev: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems)
Investor: Grantová agentura ČR, Standardní projekty
GP201/09/P497, projekt VaVNázev: Automatizovaná formální verifikace s využitím soudobého hardware
Investor: Grantová agentura ČR, Postdoktorské projekty
MUNI/A/0914/2009, interní kód MUNázev: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Grantová agentura MU, Kategorie A - Specifický výzkum - Studentské výzkumné projekty
VytisknoutZobrazeno: 20. 9. 2017 23:46

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 20. 9. 2017 23:46, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému