Checking Dynamic Controllability for Temporal Problems with
Time-based Dynamic Controllability of Disjunctive Temporal Networks with Uncertainty: A Tree Search Approach with Graph Neural Network Guidance
... TDC controllability of a DTNU node in the search tree as its truth ...TDC controllability of children DTNUs to determine TDC controllability for parent ...
13
Scheduling dynamic dataflow graphs with model checking
... The execution of a CAL program on a platform with several cores can in principle be done in two different ways. One way is to leave the schedul- ing of the actors to the operating system and let each actor be run on a ...
225
A Model-Checking approach to analyse temporal failure propagation with altaRica
... Similar problems were addressed in [18], where the authors describe a process to model Failure Detection Isolation and Reconfiguration architecture (for use on-board satellites) that requires to take into account ...
17
Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
... It is widely acknowledged that linear-time temporal logic (LTL) [18] is a yardstick among the specification languages. It combines high expressiveness (equivalence to first-order logic) with a reasonable ...
12
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation
... meaningful problems involving temporal data, ranging from query answering to constraint checking and rule evaluation, can be expressed as finite interval MC ...
14
Infinite state model checking of propositional dynamic logics
... satisfiability problems and axiomatization of PDL and its ...model-checking problems for modal logics became a central research topic, and consequently model-checking problems for PDL ...
45
Optimising Flexibility of Temporal Problems with Uncertainty
... of dynamic controllability to more general decision-making problems such as scheduling and planning is a critical fu- ture ...planning problems are more complicated than the scheduling ...
137
Dynamic Controllability with Overlapping targets: A Generalization of the Tinbergen-Nash Theory of Economic Policy
... and dynamic, in a parametric ...policy problems has developed, immune from the Lucas (1978) critique, which specifically models the strategic interactions between the government, central bank and other ...
24
The size of BDDs and other data structures in temporal logics model checking
... For problems on Boolean formulas, we have a set of variables combined to form a ...graph problems, we have a set of nodes, and the graph is indeed a set of edges, which are pairs of ...
12
Using Model Checking for Analyzing Distributed Power Control Problems
... a temporal logic formula [11] and exploiting the powerful technique of model checking (MC; see, ...at checking, automatically exhaustively and formally (with a computer) if a system (possibly ...
13
Model Checking II Temporal Logic Model Checking
... In a branching-time logic the temporal operators quantify over the paths that are possible from a given state.... The Logic CTL ∗.[r] ...
32
Temporal Logic and Model Checking
... Model Checking and Temporal Logic The idea of temporal logic is that a formula is not statically true or ...of temporal logic contain several states and a formula can be true in some states ...
86
2 Temporal Logic Model Checking
... model checking is whether it can, or will, find long coun- ...model checking that if the BDDs can be built and manipulated, all infinite computation paths, ...model checking cannot be run over many ...
20
Dynamic abstraction model checking
... Model checking has attracted considerable attention since this technique is an automatic technique for verifying finite state concurrent ...model checking process depends up on the size and complexity of ...
61
Some extensions of approximate controllability results to inverse problems
... approximate controllability in semilinear heat equa- ...elliptic problems, namely the Laplace equation or a generalized Stokes system for which, for example, the boundary value is unknown on a part of the ...
11
Constrained local controllability of dynamic systems on time scales
... of controllability to a given convex target set of a linear time-varying control system on time scales is ...of controllability with constrained controllers for such a system are ...
8
Decidability of model checking with the temporal logic EF
... 7. Conclusion We have shown decidability of the model-checking problem for the branching-time temporal logic EF andthe process model PAD. The exact complexity of the problem is an open question. The ...
32
CiteSeerX — Complexity of Equivalence Checking Problems
... equivalence checking, computational complexity 1 Introduction One of the main problems in a design of any complicated system is to ensure the correctness of the ...
6
Boundary gradient exact enlarged controllability of semilinear parabolic problems
... of controllability has been widely devel- oped since the sixties ...regional controllability was introduced by El Jai [3,4], and in- teresting results have been obtained, in particular, the possibility to ...
6
Probabilistic Model Checking on Propositional Projection Temporal Logic
... Terms—projection temporal logic, probabilistic model checking, Markov chains, normal form graph ...model checking techniques focus on a sys- tematic check of the validity of a temporal logic ...
7