• Aucun résultat trouvé

reachability analysis

Reachability Analysis of Innermost Rewriting

Reachability Analysis of Innermost Rewriting

... Reachability Analysis of Innermost Rewriting Thomas Genet ∗ Yann Salmon † February 10, 2014 Approximating the set of terms reachable by rewriting finds more and more applications ranging from termination ...

32

Symbolic Reachability Analysis of Higher-Order Context-Free Processes

Symbolic Reachability Analysis of Higher-Order Context-Free Processes

... In particular, for the class of pushdown systems, automata-based symbolic reachability analysis techniques have been developed and successfully applied in the context of program analysis [5,15,21]. ...

20

Mining Malware Specifications through Static Reachability Analysis

Mining Malware Specifications through Static Reachability Analysis

... dynamic analysis of executables which do not fully cover all ...static reachability analysis to extract malicious behaviors, thus covering the whole behaviors of a program at once and within a ...

19

Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP

Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP

... 118 Route de Narbonne, 31062 Toulouse, France iulian.ober@irit.fr Abstract. We study the reduction of bounded reachability analysis of timed automata (TA) to a Mixed Integer Linear Programming (MILP) ...

16

Chain of set inversion problems; Application to reachability analysis

Chain of set inversion problems; Application to reachability analysis

... NTRODUCTION Reachability analysis is a classical problem in control theory [1] [2][3][4] and has several applications, for instance (i) to validate some properties of cyber-physic systems [5][6], (ii) to ...

7

Reachability analysis for timed automata using max-plus algebra

Reachability analysis for timed automata using max-plus algebra

... Aalborg University, Department of Computer Science, Selma Lagerlöfs Vej 300, 9220 Aalborg East, Denmark Abstract We show that max-plus polyhedra are usable as a data structure in reach- ability analysis of timed ...

30

Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP

Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP

... 118 Route de Narbonne, 31062 Toulouse, France iulian.ober@irit.fr Abstract. We study the reduction of bounded reachability analysis of timed automata (TA) to a Mixed Integer Linear Programming (MILP) ...

17

Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis

Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis

... simulation-based reachability analysis, in the sense of computing guaranteed outer interval enclosures, becomes possible for explicit, continuous-time sets of fractional-order differential ...

16

Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks

Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks

... Static analysis of l can then be used as heuristics to check pseudo- reachability (Definition ...of reachability. If reach 0 (l, ω) = True, static analysis is not sufficient for ...

144

Self-Triggered Control for Sampled-data Systems using Reachability Analysis

Self-Triggered Control for Sampled-data Systems using Reachability Analysis

... Keywords: Reachability; Invariance; Impulsive systems; Self triggered control; Sampled-data systems; ...using reachability analysis, in order to define the sampling period as a function of the ...

7

Stability and Reachability analysis for a controlled heterogeneous population of cells

Stability and Reachability analysis for a controlled heterogeneous population of cells

... FIGURE 7 (Test 5) - Reachability analysis for model (M2). Some trajectories corresponding to large sensitive initial tumours. The set of trajectories gathered on Figure 8 represents tumours initially large ...

27

Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis

Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis

... ? This work was supported by the Agence Nationale de la Recherche (COMPACS project ANR-13-BS03-0004). In this paper, we propose a new approach based on forward reachability analysis. Primarily, we state the ...

7

Let's Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata

Let's Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata

... for reachability analysis in distributed systems modeled as networks of ...its analysis in a lazy way: decision is done by only taking into account the automata poten- tially involved in a path to ...

18

Stability Verification and Timing Contract Synthesis for Linear Impulsive Systems using Reachability Analysis

Stability Verification and Timing Contract Synthesis for Linear Impulsive Systems using Reachability Analysis

... 1. Introduction Impulsive dynamical systems form a class of hybrid systems, which model processes that evolve continuously and undergo instantaneous changes at discrete time instants. Applications of impulsive dynamical ...

32

Set Propagation Techniques for Reachability Analysis

Set Propagation Techniques for Reachability Analysis

... sensitivity analysis to cover the reachable set using a finite number of neighborhoods of individual trajectories [30, 31, 32, 33, ...on reachability analysis is to construct a logic formula that ...

32

Lazy Reachability Analysis in Distributed Systems

Lazy Reachability Analysis in Distributed Systems

... of reachability in distributed systems, modelled as networks of finite automata and propose and prove a new algorithm to solve it efficiently in many ...the reachability objective among the components, and ...

15

Reachability Analysis of Communicating Pushdown Systems

Reachability Analysis of Communicating Pushdown Systems

... The reachability analysis of recursive programs that commu- nicate asynchronously over reliable Fifo channels calls for restrictions to ensure ...of reachability for finite state ...context ...

20

Reachability Analysis of Innermost Rewriting

Reachability Analysis of Innermost Rewriting

... # hd (delete a [b+]);; -:abst list= empty We can perform the same kind of analysis for the program sum given in the introduction. This program does not terminate with call-by-value (for any input) but it ...

18

REACHABILITY ANALYSIS OF COMMUNICATING PUSHDOWN SYSTEMS

REACHABILITY ANALYSIS OF COMMUNICATING PUSHDOWN SYSTEMS

... decidable reachability problem over so-called eager ...since reachability for finite-state communicating machines over eager runs is ...that reachability of RCPS over eager runs is ExpTime- complete ...

21

Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism

Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism

... whole reachability set, we will compute a representative of the set of terms that are reachable from L by applying the rules of the previous kind an arbitrary number of times in different positions of the terms of ...

17

Show all 10000 documents...

Sujets connexes