6,587 Hits in 4.7 sec

Robustness Analysis for Value-Freezing Signal Temporal Logic

L. Brim, T. Vejpustek, D. Šafránek, J. Fabriková
2013 Electronic Proceedings in Theoretical Computer Science  
In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing.  ...  In this paper, we define robustness measures for STL* by adapting the robustness measures previously introduced for Metric Temporal Logic (MTL).  ...  Temporal logics fitting this interpretation are Metric Temporal Logic (MTL) [21] and Signal Temporal Logic (STL) [24] , which allow quantifying modalities with the time frame represented by a closed  ... 
doi:10.4204/eptcs.125.2 fatcat:od32hekvjfcm3a7u5s4jnammoi

Fuzzy Filtering of Sensors Signals in Manufacturing Systems with Time Constraints

Anis M'halla, Nabil Jerbi, Simon Collart Dutilleul, Etienne Craye, Mohamed Benrejeb
2010 International Journal of Computers Communications & Control  
Such systems have a robustness property towards time disturbances. The main contribution of this paper is a fuzzy filtering approach of sensors signals integrating the robustness values.  ...  This new approach integrates a classic filtering mechanism of sensors signals and fuzzy logic techniques.  ...  In concrete, if they want to be equivalent, their logical and math tables for the crisp values {, } have to be the same.  ... 
doi:10.15837/ijccc.2010.3.2488 fatcat:so35dlx3p5bujaanm7gsphvja4

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications [chapter]

Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, Sriram Sankaranarayanan
2018 Lecture Notes in Computer Science  
In the context of discrete systems, software or digital hardware, formalisms such as temporal logic or regular expressions are commonly used.  ...  In this chapter, we summarise the state-of-the-art techniques for qualitative and quantitative monitoring of CPS behaviours.  ...  Signal Temporal Logic STL [96] extends the continuous-time Metric Temporal Logic (MTL) [87] with numerical predicates over real-valued variables.  ... 
doi:10.1007/978-3-319-75632-5_5 fatcat:2m52qvfax5cn3fgyhcl3piy2ui

On Expressing and Monitoring Oscillatory Dynamics

Petr Dluhoš, Luboš Brim, David Šafránek
2012 Electronic Proceedings in Theoretical Computer Science  
To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al.  ...  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.  ...  It is based on the Signal Temporal Logic (STL) [17] which we extend with the signal-value freeze operator * [ϕ].  ... 
doi:10.4204/eptcs.92.6 fatcat:mk5cfrqdfrblfefoypbdo4eiee

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)

Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic, Michael Wagner
2019 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 19071 "Specification Formalisms for Modern Cyber-Physical Systems."  ...  Another increase of expessiveness was achieved by adding quantification in Signal value-freezing logic and in Signal First-Order Logic.  ...  Signal Convolution Logic (SCL): handling noise Traditional robust satisfaction semantics have focused on robustness in the value domain of a signal.  ... 
doi:10.4230/dagrep.9.2.48 dblp:journals/dagstuhl-reports/DeshmukhMN19 fatcat:qs52xpqxbzh6vajciydqb3ujgi

Specification and Efficient Monitoring Beyond STL [chapter]

Alexey Bakhirkin, Nicolas Basset
2019 Lecture Notes in Computer Science  
An appealing feature of Signal Temporal Logic (STL) is the existence of efficient monitoring algorithms both for Boolean and realvalued robustness semantics, which are based on computing an aggregate function  ...  In this paper, we define a new specification language that extends STL with the ability to produce and manipulate real-valued output signals and with a new form of until operator.  ...  Asarin for comments on the draft of this paper, and O. Lebeltel for providing a version of AMT for the experiments.  ... 
doi:10.1007/978-3-030-17465-1_5 fatcat:aidwgcsl2jefvbm5ipuee6cka4

Detection of Frozen Soil Using Sentinel-1 SAR Data

Nicolas Baghdadi, Hassan Bazzi, Mohammad El Hajj, Mehrez Zribi
2018 Remote Sensing  
In conclusion, this study shows that the difference between a reference image acquired without freezing and an image acquired under freezing conditions is a good tool for detecting frozen soils.  ...  This decrease in signal is the most important for temperatures that ranges between 0 and −5 °C. A difference of at least 2 dB is observed between unfrozen soils and frozen soils.  ...  Acknowledgments: This research was supported by IRSTEA (National Research Institute of Science and Technology for Environment and Agriculture) and the French Space Study Center (CNES, TOSCA 2018).  ... 
doi:10.3390/rs10081182 fatcat:eg2buvtn7vgl7abjxzsrj3ehwm

Efficient Parametric Identification for STL

Alexey Bakhirkin, Thomas Ferrère, Oded Maler
2018 Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18  
We describe a new algorithm for the parametric identification problem for signal temporal logic (STL), stated as follows.  ...  Given a densetime real-valued signal w and a parameterized temporal logic formula φ, compute the subset of the parameter space that renders the formula satisfied by the signal.  ...  PARAMETRIC SIGNAL TEMPORAL LOGIC Parametric Signal Temporal Logic (PSTL) [6] extends the logic STL [33] with parameters.  ... 
doi:10.1145/3178126.3178132 dblp:conf/hybrid/BakhirkinFM18 fatcat:nsngkym46nboxfq4fena6ry5su

Effect of fuzzy-controlled slow freezing on pumpkin (Cucurbita Moschata Duch) cell disintegration and phenolics

Yohanes Kristianto, Wignyanto, Bambang Dwi Argo, Imam Santoso
2020 Potravinarstvo  
A fuzzy logic control (FLC) system was built to obtain better temperature control of the freezing system.  ...  In conclusion, as the freezing system exhibits positive effects on the phenolics content of pumpkin, it may be employed to process seasonal pumpkin to obtain higher value from the produce.  ...  Acknowledgments: The authors would like to thank the Agency for Development and Empowerment of Human Resources, Ministry of Health (MoH), Republic of Indonesia for financial support.  ... 
doi:10.5219/1303 fatcat:7vtsrd2esvhpnmmjmhr7oviche

Quantifying conformance using the Skorokhod metric

Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
2017 Formal methods in system design  
LTL) containing a rich class of temporal and spatial constraint predicates involving time and value freeze variables.  ...  The work of [16] deals with spatial robustness of STL; the only temporal disturbances considered are constant time-shifts for the entire signal where the entire signal is moved to the past, or to the future  ...  The logics contain (i) predicates of the form f (x 1 , . . . , xn) ≥ 0, as in Signal Temporal Logic (STL) [16] (we however allow f to be non-linear), for specifying constraints on trace values; and (  ... 
doi:10.1007/s10703-016-0261-8 fatcat:c7hji6myo5h5vn3c2q3wkcjxsa

An efficient Quantum-Dot Cellular Automata adder

F Bruschi, F Perini, V Rana, D Sciuto
2011 2011 Design, Automation & Test in Europe  
Moreover, the layout was designed in order to comply with the rules for robustness again noise paths [6] .  ...  This paper presents a ripple-carry adder module that can serve as a basic component for Quantum Dot Automata arithmetic circuits.  ...  From their analysis, authors drew a set of design best practices aimed at circuit robustness with respect to such effects.  ... 
doi:10.1109/date.2011.5763318 dblp:conf/date/BruschiPRS11 fatcat:7feau75bkve3pdpvcvvb6u7lea

Signal-Based Properties: Taxonomy and Logic-based Characterization [article]

Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
2020 arXiv   pre-print
(i.e., temporal logics) used for defining signal-based temporal properties.  ...  In this paper, we present a taxonomy of the various types of signal-based properties and provide, for each type, a comprehensive and detailed description as well as a formalization in a temporal logic.  ...  We also wish to thank Claudio Menghi and Dejan Ničković for their feedback on the paper.  ... 
arXiv:1910.08330v2 fatcat:apxe5x65mvesdjpdgappjbt2gy

Bayesian statistical analysis of ground-clutter for the relative calibration of dual polarization weather radars

Marta Tecla Falconi, Mario Montopoli, Frank Silvio Marzano
2016 European Journal of Remote Sensing  
The temporal series of the groundclutter statistical parameters, extracted from the spatial analysis and expressed in terms of percentile and mean values, have been used to estimate the relative clutter  ...  After discriminating the ground clutter areas, we have focused on the spatial analysis of robust and stable returns by using an automated region-merging algorithm.  ...  Gianfranco Vulpiani (DPC, Italy) for helpful discussions. Radar data used are under the DPC data policy.  ... 
doi:10.5721/eujrs20164949 fatcat:y4qh5fpxpndxncimmvdk5pqjea

Hemodynamic responses in amygdala and hippocampus distinguish between aversive and neutral cues during Pavlovian fear conditioning in behaving rats

Stephen B. McHugh, Andre Marques-Smith, Jennifer Li, J. N. P. Rawlins, John Lowry, Michael Conway, Gary Gilmour, Mark Tricklebank, David M. Bannerman
2012 European Journal of Neuroscience  
Alternatively, differences in experimental design or fear levels could account for the discrepant findings between rodents and humans.  ...  BLA tissue oxygen signals were significantly higher during CS+ than CSÀ trials during training and early extinction.  ...  We thank Greg Daubney for his assistance with histology. There are no conflicts of interest associated with this research. Conflicts of interest None.  ... 
doi:10.1111/ejn.12057 pmid:23173719 pmcid:PMC3638322 fatcat:bc3pz56lzjbohehxixpzbm36ce

Conformance Relations and Hyperproperties for Doping Detection in Time and Space [article]

Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
2022 arXiv   pre-print
As a formal basis for monitoring conformance-based cleanness, we develop the temporal logic HyperSTL*, an extension of Signal Temporal Logics with trace quantifiers and a freeze operator.  ...  We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time- and value-domains.  ...  conformance) by developing a temporal logic, called HyperSTL*, that extends Signal Temporal Logic (STL) with a freeze operator and quantifiers over traces; and • We demonstrate the usefulness of the proposed  ... 
arXiv:2012.03910v3 fatcat:mkmejfgfyvav3k6jwv3bn53dfy
« Previous Showing results 1 — 15 out of 6,587 results