Filters








178,383 Hits in 3.8 sec

On Temporal Logic and Signal Processing [chapter]

Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott Smolka
2012 Lecture Notes in Computer Science  
We present Time-Frequency Logic (TFL), a new specification formalism for real-valued signals that combines temporal logic properties in the time domain with frequency-domain properties.  ...  We provide a property checking framework for this formalism and illustrate its expressive power in defining and recognizing properties of musical pieces.  ...  Signal Temporal Logic We present STL in a manner that makes it closer to the world of Control and Signal Processing.  ... 
doi:10.1007/978-3-642-33386-6_9 fatcat:zf3x3il5orhb3pvfu45wg4bxh4

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes [article]

Luca Bortolussi, Giuseppe Maria Gallo, Jan Křetínský, Laura Nenzi
2022 arXiv   pre-print
We introduce a similarity function on formulae of signal temporal logic (STL).  ...  We demonstrate this consequence and its advantages on the task of predicting (quantitative) satisfaction of STL formulae on stochastic processes: Using our kernel and the kernel trick, we learn (i) computationally  ...  Signal Temporal Logic Signal Temporal Logic (STL) [MN04] is a linear-time temporal logic suitable to monitor properties of trajectories.  ... 
arXiv:2201.09928v1 fatcat:ivs5r4jvxzgxdm5wahxpybmn5i

Logic for electromagnetic field patterns [article]

G.a. Kouzaev
2008 arXiv   pre-print
A short review on semiconductor hardware for this type of spatial digital processing and computing is given.  ...  The logical operations are performed by passive components, and a theory of them is considered. Two gates of this sort are simulated.  ...  Probably, this spatio-temporal non-linearity can play a role in the brain "digital activity", and it encourages further research on the discrete processing of patterned signals by different means.  ... 
arXiv:0805.4600v1 fatcat:pdubr5w7hzb5ppfwkvyp3k23ty

All-optical three-input logic minterms generation using semiconductor optical amplifier-based Sagnac interferometer

L. Lei, J. Xu, C. Peucheret, F. Da Ros, X. Zhang, J. Dong
2013 Electronics Letters  
Introduction: The rising interest in fast and efficient systems for optical computing and signal processing is leading research towards the investigation of photonic digital processing functionalities  ...  Correct and clear temporal waveforms of the logic minterms are successfully achieved, and the effectiveness of the method is demonstrated by biterror-ratio (BER) and optical signal-to-noise (OSNR) measurements  ...  Introduction: The rising interest in fast and efficient systems for optical computing and signal processing is leading research towards the investigation of photonic digital processing functionalities  ... 
doi:10.1049/el.2013.1921 fatcat:25hvlp2a6va4bgh6z264imu2me

A More Sensitive Context [article]

Christopher J. Banks, Ian Stark
2017 arXiv   pre-print
LBC builds on the existing Metric Interval Temporal Logic (MITL) and adds a "context modality" that explores the behaviour of a system when composed with an external process.  ...  In this paper we make progress against both of these problems using techniques from signal temporal logic and from sensitivity analysis.  ...  Acknowledgements We are very grateful to Luca Bortolussi for suggesting the use of signals, and introducing us to the work of Maler et al.; and to others in the Edinburgh PEPA group.  ... 
arXiv:1702.03288v1 fatcat:flkgllufibg65pmrc7we3gumsi

Logical Signal Processing: a Fourier Analysis of Temporal Logic [article]

Niraj Basnet, Houssam Abbas
2020 arXiv   pre-print
We also make explicit the measurement process in temporal logic and re-define it on the basis of distributions to make it compatible with measurements in signal processing.  ...  To answer this question, we focus on monitors that measure the robustness of a signal relative to a specification in Signal Temporal Logic.  ...  Signal Temporal Logic (STL) Signal Temporal Logic (STL) [13, 7] is a logic that allows the succinct and unambiguous specification of a wide variety of desired system behaviors over time, such as "The  ... 
arXiv:2009.08090v1 fatcat:4mxmuqohfrgwxabppquszz5zna

A programmable 3.2-GOPS merged DRAM logic for video signal processing

Sunho Chang, Bum-Sik Kim, Lee-Sup Kim
2000 IEEE transactions on circuits and systems for video technology (Print)  
It can also be used for other multimedia signal processing due to its programmability. Index Terms-Merged DRAM logic (MDL), MPEG, programmable architecture, video signal processing, VLSI.  ...  Design guidelines are suggested for the optimized video signal processor based on the modeling and analysis of the MDL.  ...  The maximum data bandwidth between DRAM and logic is 6.4 Gbytes/s and the maximum processing capabilities for 8-bit video signal is 3.2-GOPS with a 200-MHz clock.  ... 
doi:10.1109/76.867935 fatcat:c5dueece3nfa3fapgpvddrb4s4

Specifying Real-Time Requirements for SDL Specifications — A Temporal Logic-Based Approach [chapter]

Stefan Leue
1996 IFIP Advances in Information and Communication Technology  
Next, we de ne a common model theoretic foundation which allows SDL speci cations to be used jointly with temporal logic speci cations.  ...  We suggest integrating functional system properties, given as SDL speci cations, with real-time requirements expressed in terms of real-time temporal logic formulas.  ...  The author wishes to thank all those who have commented on earlier versions of this paper, in particular Reinhard Gotzhein, Dieter Hogrefe, Peter Ladkin and Tony Savor.  ... 
doi:10.1007/978-0-387-34892-6_2 fatcat:6mwm7u376ncwhno6mbq3mp7y64

S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems [chapter]

Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan
2011 Lecture Notes in Computer Science  
We present the architecture of S-TaLiRo and its working on an application example.  ...  At the heart of the tool, we use randomized testing based on stochastic optimization techniques including Monte-Carlo methods and Ant-Colony Optimization.  ...  In turn, the robustness score computed is used by the stochastic sampler to decide on a next input to analyze. between trajectories and temporal logic properties.  ... 
doi:10.1007/978-3-642-19835-9_21 fatcat:oqx4fgqbhfarlejqcoo4s4kipa

Control Interpreted Petri Nets - Model Checking and Synthesis [chapter]

Iwona Grobelna
2012 Petri Nets - Manufacturing and Computer Science  
Valves y10 and y11 are opened and target containers are loaded on the carriage (y3). Filling tanks process (active signals y1 and y2) is a concurrent process.  ...  Control process example was taken from. It was verified using CTL temporal logic and the NuSMV model checker in 2.5.2 version [19] .  ... 
doi:10.5772/47797 fatcat:ggtegcoakze5po56mgakchhrgm

Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems

Iwona GROBELNA
2020 Informatics in Education. An International Journal  
The specified properties can then be transformed into temporal logic formulas and used directly in the model checking process.  ...  The requirements are usually written as temporal logic formulas.  ...  to input and output signals of a designed logic controller, taking a Boolean value true (signal active) or false (signal inactive, combined with the Table 1 Basic operators in the LTL temporal logic  ... 
doi:10.15388/infedu.2020.11 fatcat:b3ykzy536vcnlh3g4nvs7gt7ou

Signal probability based statistical timing analysis

Bao Liu
2008 Proceedings of the conference on Design, automation and test in Europe - DATE '08  
Leveraging with existing power estimation techniques, I propose signal probability (i.e., the logic one occurrence probability on a net) based statistical timing analysis, for improved accuracy and reduced  ...  Experimental results on ISCAS benchmark circuits show that SPSTA computes the means (standard deviations) of the maximum signal arrival times within 5.6% (7.7%), SSTA within 16.5% (46.9%), and STA within  ...  Extension to Four-Value Logic I extend SPSTA to the four-value logic, i.e., based on logic one '1', logic zero '0', rising signal transition 'r', pdf(max(t , t )) pdf(t ) and falling signal transition  ... 
doi:10.1145/1403375.1403513 fatcat:rtfukmb4fjfihbhy2sxoamzjru

Signal Probability Based Statistical Timing Analysis

Bao Liu
2008 2008 Design, Automation and Test in Europe  
Leveraging with existing power estimation techniques, I propose signal probability (i.e., the logic one occurrence probability on a net) based statistical timing analysis, for improved accuracy and reduced  ...  Experimental results on ISCAS benchmark circuits show that SPSTA computes the means (standard deviations) of the maximum signal arrival times within 5.6% (7.7%), SSTA within 16.5% (46.9%), and STA within  ...  Extension to Four-Value Logic I extend SPSTA to the four-value logic, i.e., based on logic one '1', logic zero '0', rising signal transition 'r', pdf(max(t , t )) pdf(t ) and falling signal transition  ... 
doi:10.1109/date.2008.4484736 dblp:conf/date/Liu08 fatcat:e6mtcyd5s5d7zhfhutreoatpci

4. Suspending the "Time Domain" : Technological Tempor(e)alities of Media Infrastructures [chapter]

Wolfgang Ernst
2021 Media Infrastructures and the Politics of Digital Time  
In that sense, "hardwired temporality" refers to the infrastructuring of time by technologies and to temporal structures which are revealed from within techno-logical knowledge itself.  ...  Such an understanding of techno-temporalities does not focus on phenomenal effects of media on humans but primarily refers to the microregimes within technological devices.  ...  It is on this layer that the voltage level of what is meant to represent a logic "zero" and a logic "one" is being defined.  ... 
doi:10.1515/9789048550753-006 fatcat:o23oetao2fecnfw6nru2lsbfrq

All-optical free-space processing for optical communication signals

Pierpaolo Boffi, Davide Piccinin, Diego Mottarella, Mario Martinelli
2000 Optics Communications  
An example of an all-optical system able to perform data processing operations is described and experimented. Logic schemes characterized by high modularity and flexibility are reported.  ...  All-optical free-space architecture can find many interesting applications in optical communications in case of packet-oriented data processing.  ...  Ž . be processed; b independent action on the single bit of the pattern; and c orthogonal lighting. effect is obtained by the action of two temporally delayed optical control pulses: a pulse controls the  ... 
doi:10.1016/s0030-4018(00)00745-8 fatcat:wfrjwyubbnhgdgy5jdzv3tfzse
« Previous Showing results 1 — 15 out of 178,383 results