Filters








755,437 Hits in 17.7 sec

Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate [article]

Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu
2021 arXiv   pre-print
Our work is (1) the first dynamic partial order reduction algorithm for stateful model checking that is sound for non-terminating applications and (2) the first dynamic partial reduction algorithm for  ...  In this work, we explore a new technique that combines dynamic partial order reduction with stateful model checking to support non-terminating applications.  ...  Recent work on dynamic partial order reduction for event-driven programs has developed dynamic partial order reduction algorithms for stateless model checking of event-driven applications [22, 30] .  ... 
arXiv:2111.05290v1 fatcat:7pcl6uihvnhezais7fmfhgxrx4

Efficient Stateful Dynamic Partial Order Reduction [chapter]

Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
Lecture Notes in Computer Science  
The second contribution is a stateful dynamic partial order reduction algorithm (SDPOR) that avoids a potential unsoundness when DPOR is naively applied in the context of stateful search.  ...  In applying stateless model checking methods to realistic multithreaded programs, we find that stateless search methods are ineffective in practice, even with dynamic partial order reduction (DPOR) enabled  ...  Stateful Dynamic Partial Order Reduction Background Dynamic partial order reduction [4] has been shown as an effective reduction technique in stateless search.  ... 
doi:10.1007/978-3-540-85114-1_20 fatcat:le4odza2lvgjxnwtf4j6pcun4m

Reduction of dimension for nonlinear dynamical systems [article]

Heather A. Harrington, Robert A. Van Gorder
2015 arXiv   pre-print
We consider reduction of dimension for nonlinear dynamical systems.  ...  A number of chaotic and hyperchaotic dynamical systems are used as examples in order to motivate the approach.  ...  ODEs), a partial reduction (one or more, but not all, state variables can be isolated and expressed as the solution to single uncoupled ODEs), or returns no reduction (the algorithm does not complete  ... 
arXiv:1508.05921v1 fatcat:cica6vclszg5vopiuymjdvb4vm

Distributed dynamic partial order reduction

Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
2010 International Journal on Software Tools for Technology Transfer (STTT)  
In this paper, we present distributed dynamic partial order reduction (DDPOR) which can speed up stateless model checking using computer clusters, and get the benefit of dynamic partial order reduction  ...  Updating the backtrack set In dynamic partial order reduction, the persistent set of a given state is computed dynamically.  ...  Fig. 1 1 Dynamic partial-order reduction trackSets(S, t) is used to dynamically compute the persistent sets [8] of states.  ... 
doi:10.1007/s10009-010-0144-z fatcat:e672cnfssjhqflbqm5co2m4cny

SymPaths: Symbolic Execution Meets Partial Order Reduction [chapter]

Frank S. de Boer, Marcello Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, S. Lizeth Tapia Tarifa, Lars Tveito
2020 Lecture Notes in Computer Science  
Partial order reduction is a technique which allows equivalent execution paths to be recognized, reducing the state space explosion problem.  ...  order reduction.  ...  Partial Order Reduction Partial order reduction (POR) is a technique to reduce the size of the state space when exploring the different executions of a parallel program by exploiting the commutativity  ... 
doi:10.1007/978-3-030-64354-6_13 fatcat:l4bk7cwrwzbxrbmbwxnd55vsa4

Network structure preserving model reduction with weak a priori structural information

E. Yeung, J. Goncalves, H. Sandberg, S. Warnick
2009 Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference  
This paper extends a state projection method for structure preserving model reduction to situations where only a weaker notion of system structure is available.  ...  Moreover, necessary conditions, characterizing structurally minimal realizations, and sufficient conditions, characterizing edge loss resulting from the reduction process, are presented.  ...  Model reduction, however, considers state representations with order less than the degree of a given transfer function [10] .  ... 
doi:10.1109/cdc.2009.5400375 dblp:conf/cdc/YeungGSW09 fatcat:n4lrf7sb4zgxjfnxm5i66jwluy

Reduction of dimension for nonlinear dynamical systems

Heather A. Harrington, Robert A. Van Gorder
2016 Nonlinear dynamics  
We consider reduction of dimension for nonlinear dynamical systems.  ...  A number of chaotic and hyperchaotic dynamical systems are used as examples in order to motivate the approach.  ...  ODEs), a partial reduction (one or more, but not all, state variables can be isolated and expressed as the solution to single uncoupled ODEs), or returns no reduction (the algorithm does not complete in  ... 
doi:10.1007/s11071-016-3272-5 pmid:32226227 pmcid:PMC7089670 fatcat:55fiz3xmpbel3iqcll5xzzvwgm

Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics [article]

Stefan Haar, Juraj Kolčák, Loïc Paulevé
2018 arXiv   pre-print
Initially defined at the level of concrete parameterised models, the goal-oriented reduction of dynamics is lifted to parametric networks, and is proven to preserve all the minimal traces to the specified  ...  goal states.  ...  The weights are dynamic as the partial regulator states get removed (A rmv ) throughout the algorithm.  ... 
arXiv:1811.12377v1 fatcat:76d7yxe3afd2beakgji6k2ihiy

Controller reduction for linear systems based on subspace balanced realization

Kenji Fujimoto, Sayaka Ono, Yoshikazu Hayakawa
2010 49th IEEE Conference on Decision and Control (CDC)  
Model order reduction is an important tool in control systems theory.  ...  Balanced truncation is one of the most useful model order reduction methods.  ...  Fig. 1 . 1 Outline Fig. 2 . 2 Partial model reduction for output feedback systems Fig. 3 . 3 State and output feedback systems with observers Fig. 4 . 4 Two carts system dynamics of this system can  ... 
doi:10.1109/cdc.2010.5718093 dblp:conf/cdc/FujimotoOH10 fatcat:fmfjzsa4ljf43ocdfu3vvtxh6e

Dynamic partial-order reduction for model checking software

Cormac Flanagan, Patrice Godefroid
2005 Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05  
We present examples of multi-threaded programs where our new dynamic partial-order reduction technique significantly reduces the search space, even though traditional partial-order algorithms are helpless  ...  We present a new approach to partial-order reduction for model checking software.  ...  that trace, and the reduced state space with our dynamic partial-order reduction is a single path.  ... 
doi:10.1145/1040305.1040315 dblp:conf/popl/FlanaganG05 fatcat:hjwuusezx5a4bhyp42gl6ua5pq

A semantic model of binding times for safe partial evaluation [chapter]

Fritz Henglein, David Sands
1995 Lecture Notes in Computer Science  
evaluators for a higher-order functional language with recursive types, based on annotations justified by the model.  ...  This paper considers the problem of partial evaluation.  ...  In on-line partial evaluation dynamic reductions may also be performed (see the next section), but require a check as the nature of the data (static or dynamic).  ... 
doi:10.1007/bfb0026827 fatcat:3dljjjasojclleag56dttd2mii

Approximation of large-scale dynamical systems for Bench-mark Collection

S K S
2019 JOURNAL OF MECHANICS OF CONTINUA AND MATHEMATICAL SCIENCES  
In this paper the reduction method is explored for getting structure preserving reduced order model of a large-scale dynamical system, we have considered model order reduction of higher orderLTIsystems  ...  large-scale dynamical system of order 1006 th .it in form of the state -space matrixare given below, which is also part of the SLICOT Benchmark Collection [X], [XXXVI].  ...  the reduced system in state-space form as in model reduction, one attempts to the invention a reduced order model of the system.  ... 
doi:10.26782/jmcms.2019.06.00016 fatcat:3vviq533xzfybhxgdaefrie4y4

Using Phase Dynamics to Study Partial Synchrony: Three Examples [article]

Erik Teichmann
2020 arXiv   pre-print
In this paper, three partially synchronous states are investigated and presented in order of increasing complexity.  ...  Typically, the phase dynamics description is obtained in the weak coupling limit, i.e., in the first-order in the coupling strength.  ...  a self-consistent partial synchronous state.  ... 
arXiv:2010.16107v2 fatcat:2gzm4jmkubbrtitcpkkmfx6zfq

Page 6290 of Mathematical Reviews Vol. , Issue 2002H [page]

2002 Mathematical Reviews  
(I-FRNZ; Florence) A second order sliding control approach for vibration reduction. (English summary) Differential Equations Dynam. Systems 8 (2000), no. 3-4, 301-323.  ...  In particular, we examine the model order reduction capabilities of the Chebyshev polynomial methods used for solving partial differential equations.” 2002h:93025 93B12 34H0S 93C70 93E10 Castro-Linares  ... 

Dynamic partial-order reduction for model checking software

Cormac Flanagan, Patrice Godefroid
2005 SIGPLAN notices  
We present examples of multi-threaded programs where our new dynamic partial-order reduction technique significantly reduces the search space, even though traditional partial-order algorithms are helpless  ...  We present a new approach to partial-order reduction for model checking software.  ...  that trace, and the reduced state space with our dynamic partial-order reduction is a single path.  ... 
doi:10.1145/1047659.1040315 fatcat:6jyluury5fhdzhe2hl4p6dl2yy
« Previous Showing results 1 — 15 out of 755,437 results