On Expressing and Monitoring Oscillatory Dynamics
| Autor: | David Šafránek, Luboš Brim, Petr Dluhoš |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2012 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Logic in Computer Science Dynamical systems theory 0102 computer and information sciences Systems and Control (eess.SY) 01 natural sciences lcsh:QA75.5-76.95 Computational Engineering Finance and Science (cs.CE) Computer Science::Robotics 03 medical and health sciences 0302 clinical medicine Operator (computer programming) Computer Science::Logic in Computer Science FOS: Mathematics FOS: Electrical engineering electronic engineering information engineering MATLAB Computer Science - Computational Engineering Finance and Science computer.programming_language lcsh:Mathematics Dynamics (mechanics) Computer Science - Numerical Analysis Numerical Analysis (math.NA) lcsh:QA1-939 Satisfiability Logic in Computer Science (cs.LO) Signal temporal logic 010201 computation theory & mathematics Computer Science - Systems and Control lcsh:Electronic computers. Computer science Algorithm computer 030217 neurology & neurosurgery Monitoring procedure |
| Zdroj: | HSB Electronic Proceedings in Theoretical Computer Science, Vol 92, Iss Proc. HSB 2012, Pp 73-87 (2012) |
| Popis: | 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. In Proceedings HSB 2012, arXiv:1208.3151 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|