Filters








781,922 Hits in 3.1 sec

Symbolic Timed Observational Equivalence [article]

Vivek Nigam, Carolyn Talcott, Abrãao Aires Urquiza
2018 arXiv   pre-print
Moreover, efficient symbolic methods have been developed for automating the check of observational equivalence of systems.  ...  This paper introduces a novel definition of timed observational equivalence which also distinguishes systems according to their time side channels.  ...  The contribution of this paper is three-fold: • Symbolic Timed Observational Equivalence: We propose a novel definition of timed equivalence over timed protocol instances [30] .  ... 
arXiv:1801.04066v2 fatcat:htwe3vebnjfddpamsskpqbvlvi

Communication system model for information rate evaluation of differential detection over time-varying channels

Z.B. Krusevac, P.B. Rapajic, R.A. Kennedy
2008 IET Communications  
Using the equivalent channel, it is proved and corroborated by simulations that multiple-symbol differential detection preserves the channel information capacity when the observation interval approaches  ...  A communication system model for mutual information performance analysis of multiple-symbol differential M-phase shift keying over time-correlated, time-varying flat-fading communication channels is developed  ...  þ 1-symbol observation interval for differential detection and the equivalent channel.  ... 
doi:10.1049/iet-com:20070610 fatcat:fvyqaunk3nccvahyn5u6yltylu

A classification of symbolic transition systems

Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin
2005 ACM Transactions on Computational Logic  
Public reporting burden for the collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining  ...  The state equivalence =6 is called reach equivalence. u t For every symbolic transition system R with k observables, the reach-equivalence relation = R 6 has at most 2 k equivalence classes and, therefore  ...  Symbolic State-space Exploration: Observation Re nement Trace equivalence can be characterized operationally by the symbolic semialgorithm Closure3 of Figure 4 .  ... 
doi:10.1145/1042038.1042039 fatcat:dblsc35eyfc57lny2n652zat4y

A Classification of Symbolic Transition Systems [chapter]

Thomas A. Henzinger, Rupak Majumdar
2000 Lecture Notes in Computer Science  
Public reporting burden for the collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining  ...  The state equivalence =6 is called reach equivalence. u t For every symbolic transition system R with k observables, the reach-equivalence relation = R 6 has at most 2 k equivalence classes and, therefore  ...  Symbolic State-space Exploration: Observation Re nement Trace equivalence can be characterized operationally by the symbolic semialgorithm Closure3 of Figure 4 .  ... 
doi:10.1007/3-540-46541-3_2 fatcat:pj2pwbwrlffxlkxkoa2bnplgqy

Equivalence checking for compiler transformations in behavioral synthesis

Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie
2013 2013 IEEE 31st International Conference on Computer Design (ICCD)  
Our approach is based on dual-rail symbolic simulation of the input and output design representations of a transformation.  ...  We present a scalable equivalence checking framework to validate the correctness of compiler transformations employed by behavioral synthesis.  ...  Algorithm 1 : 1 CHECK-EQUIVALENCE(S, T ) 1 s I ← SYMBOLIZE-INPUTS(S, T ) Symbolize inputs 2 Π ← SYM-EXE(S, s I , nil) Symbolically Execute S 3 foreach π ∈ Π do 4 s O ← GET-OBSERVABLE-STATE(π) 5 Π ← SYM-EXE  ... 
doi:10.1109/iccd.2013.6657090 dblp:conf/iccd/YangHCRX13 fatcat:c2ni4fbm6zdq3hjefowfxpdqgq

Symbolic Model Checking for Rectangular Hybrid Systems [chapter]

Thomas A. Henzinger, Rupak Majumdar
2000 Lecture Notes in Computer Science  
We do so by proving that our method for symbolic Ltl model checking terminates on an infinite-state transition system if the trace-equivalence relation of the system has finite index, which is the case  ...  We remedy this unsatisfactory situation: we present a symbolic method for Ltl model checking which can be performed by HyTech and is guaranteed to terminate on all rectangular automata.  ...  Symbolic Model Checking for Rectangular Hybrid Systems  ... 
doi:10.1007/3-540-46419-0_11 fatcat:ltrqlnogh5gs7h6tqzgkiggfxe

Equivalence of the Symbol Grounding and Quantum System Identification Problems

Chris Fields
2014 Information  
It is shown that with reasonable physical assumptions these problems are equivalent.  ...  The symbol grounding problem is the problem of specifying a semantics for the representations employed by a physical symbol system in a way that is neither circular nor regressive.  ...  Each such symbol, e.g., "α i " or "5 volts" can be associated with an equivalence class, under observable-dependent exchange symmetry, of physical systems, but the boundaries of this equivalence class  ... 
doi:10.3390/info5010172 fatcat:73oscun4mnbrzblmbazs53nsqi

Sufficient statistic and reduced-dimensionality equivalent symbol-space model for frequency-flat MIMO channel with spatially nonuniform delay

J. Sykora
2005 IEE Proceedings - Communications  
This is done by deriving equivalent discrete symbol space model based on the suitable signal expansion and the sufficient statistic principle.  ...  We first derive an equivalent symbol space discrete channel model for frequency flat block fading MIMO spatial diversity channel with spatially nonuniform path delays.  ...  Equivalent symbol space channel model Up to this point, we treated the channel in the continuous time domain. However it is very useful to find its equivalent symbol space model.  ... 
doi:10.1049/ip-com:20045018 fatcat:aaal5yvyb5dxzfkhamwkqg4vae

Statistical Mechanics of Complex Systems for Pattern Identification

Shalabh Gupta, Asok Ray
2009 Journal of statistical physics  
., time series data) of macroscopically observable parameters and their operational characteristics.  ...  The underlying theory is built upon thermodynamic formalism of symbol sequences in the setting of a generalized Ising model (GIM) of lattice-spin systems.  ...  observed at time k − 1.  ... 
doi:10.1007/s10955-009-9679-3 fatcat:yhzqz3eldzfppfkgewq46di3kq

A Classification of Symbolic Transition Systems [article]

Thomas A. Henzinger, Rupak Majumdar, Jean-Francois Raskin
2001 arXiv   pre-print
The state equivalence ∼ =6 is called reach equivalence. ⊓ ⊔ For every symbolic transition system R with k observables, the reach-equivalence relation ∼ = R 6 has at most 2 k equivalence classes and, therefore  ...  Symbolic State-space Exploration: Observation Refinement Trace equivalence can be characterized operationally by the symbolic semi-algorithm Closure3 of Figure 6 .  ... 
arXiv:cs/0101013v1 fatcat:btr3my5fnrhohbumlwzkkxny2e

Improving Symbolic Automata Learning with Concolic Execution [chapter]

Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser
2020 Lecture Notes in Computer Science  
focus on active learning techniques based on L * and propose two extensions of the Minimally Adequate Teacher framework that allow the efficient learning of the input language of a program in the form of symbolic  ...  Symbolic observation table.  ...  The execution time is orders of magnitude slower when compared MAT*, and in our implementation 99% of the learner's execution time is spent running symbolic equivalence queries.  ... 
doi:10.1007/978-3-030-45234-6_1 fatcat:ax5o2vuwffg3bkeghqiplp2kuu

The Observational Power of Clocks [chapter]

Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
1994 Lecture Notes in Computer Science  
We d e v elop a theory of equivalences for timed systems. Two systems are equivalent i external observers cannot observe di erences in their behavior.  ...  First, our decision procedure for k-clock bisimulation congruence leads to a new, symbolic, decision procedure for timed bisimilarity. Second, timed trace equivalence is known to be undecidable.  ...  We associate two labeled transition systems with the timed automaton A. 2. Second, we observe input symbols and hide time increments.  ... 
doi:10.1007/978-3-540-48654-1_16 fatcat:cp5vw4zwxvap7kuzz6aakjjvmm

Symbolic Algorithms for Infinite-State Games [chapter]

Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
2001 Lecture Notes in Computer Science  
We give a structural characterization for each class, using equivalence relations on the state spaces of games which range from game versions of trace equivalence to a game version of bisimilarity.  ...  This settles, in particular, the symbolic controller synthesis problem for rectangular hybrid systems. ?  ...  An example of in nite-state game structures with symbolic theories and nite 1-bounded-reach equivalences are networks of timed games, a two-player version of networks of timed automata 1]. u t Game calculus  ... 
doi:10.1007/3-540-44685-0_36 fatcat:67bq5vr2rfbdhah4mfdpukca74

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

Bernhard K. Aichernig, Martin Tappler
2016 Electronical Notes in Theoretical Computer Science  
This paper presents an approach to use symbolic input output conformance checking for mutation-based test case generation.  ...  Subsequently after the generation of mutants, the original model and the mutants are simultaneously symbolically executed and tested for conformance.  ...  Although this is also true for the quiescence observation, we increase the symbolic state index as it is observable.  ... 
doi:10.1016/j.entcs.2016.01.002 fatcat:32577qon5bcv3bvrfm7rgshfqi

Synchronization of combustion variations in a multicylinder spark ignition engine

C. Stuart Daw, Johney B. Green, Robert M. Wagner, Charles E.A. Finney, Francis T. Connolly
2000 Proceedings of the Combustion Institute  
We use both cross-correlation and symbolic time series analysis to quantify the apparent relationships between pairs of cylinders and multicylinder groups.  ...  Our results appear to confirm that synchronization readily occurs and that it becomes stronger as the overall equivalence ratio is reduced from stoichiometric.  ...  Figure 5a and b illustrates how symbol synchrograms can be constructed to observe bifurcation and synchronization over time.  ... 
doi:10.1016/s0082-0784(00)80337-9 fatcat:x2kcii3aknc2pbiyudqmyvngii
« Previous Showing results 1 — 15 out of 781,922 results