X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (2527) 2527
Conference Proceeding (1572) 1572
Book Chapter (96) 96
Dissertation (70) 70
Publication (15) 15
Government Document (9) 9
Magazine Article (5) 5
Book / eBook (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
reachability (1663) 1663
reachability analysis (1299) 1299
computer science (556) 556
automation & control systems (508) 508
engineering, electrical & electronic (494) 494
petri nets (436) 436
computer science, theory & methods (419) 419
algorithms (383) 383
automata (348) 348
controllability (327) 327
mathematics, applied (317) 317
analysis (315) 315
control systems (286) 286
hybrid systems (285) 285
verification (270) 270
computer science, software engineering (206) 206
safety (206) 206
mathematics (201) 201
systems (200) 200
mathematical models (199) 199
computer science, information systems (190) 190
model checking (190) 190
stability (187) 187
observability (175) 175
linear systems (170) 170
computational modeling (164) 164
optimization (161) 161
state-space methods (159) 159
mathematical analysis (157) 157
computer science, hardware & architecture (138) 138
algorithm design and analysis (136) 136
mathematical model (136) 136
petri net (134) 134
protocols (132) 132
dynamical systems (130) 130
studies (129) 129
logic (128) 128
research (128) 128
formal verification (121) 121
usage (121) 121
analytical models (119) 119
computation (116) 116
reachability graph (114) 114
operations research & management science (110) 110
system recovery (110) 110
data structures (108) 108
trajectory (106) 106
explosions (104) 104
robots (104) 104
theoretical computer science (104) 104
networks (101) 101
design (98) 98
computer simulation (96) 96
software engineering (94) 94
automatic control (93) 93
software (93) 93
computer science, artificial intelligence (92) 92
optimal control (92) 92
boolean functions (90) 90
reachability problem (90) 90
complexity (88) 88
dynamics (88) 88
uncertainty (87) 87
graphs (86) 86
nonlinear systems (84) 84
equations (81) 81
markov processes (78) 78
control system synthesis (76) 76
simulation (75) 75
timed automata (75) 75
artificial intelligence (74) 74
engineering (74) 74
performance analysis (74) 74
reachability tree (74) 74
algebra (73) 73
telecommunications (72) 72
robustness (71) 71
testing (70) 70
stabilization (69) 69
discrete event systems (68) 68
approximation (65) 65
design engineering (65) 65
semantics (64) 64
petri-netz (63) 63
reachability matrix (63) 63
switches (63) 63
computer science, interdisciplinary applications (61) 61
stochastic processes (61) 61
vectors (61) 61
automation (60) 60
logic in computer science (60) 60
formal languages and automata theory (59) 59
theory of computation (57) 57
algorithm (56) 56
clocks (56) 56
differential equations (56) 56
hardware (56) 56
polynomials (56) 56
stability analysis (56) 56
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (4136) 4136
Japanese (111) 111
Chinese (46) 46
German (11) 11
French (8) 8
Korean (4) 4
Portuguese (3) 3
Spanish (3) 3
Swedish (2) 2
Italian (1) 1
Lithuanian (1) 1
Polish (1) 1
Russian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


ACM Transactions on Programming Languages and Systems (TOPLAS), ISSN 1558-4593, 12/2019, Volume 41, Issue 4, pp. 1 - 46
Interprocedural analysis is at the heart of numerous applications in programming languages, such as alias analysis, constant propagation, and so on. Recursive... 
dataflow analysis | Interprocedural analysis | reachability and distance oracles | reachability and shortest path | constant treewidth graphs
Journal Article
Journal of Aerospace Information Systems, ISSN 1940-3151, 09/2016, Volume 13, Issue 9, pp. 357 - 369
Systems that make safety-critical decisions must undergo a rigorous verification and validation process to ensure automation decisions do not jeopardize the... 
REACHABILITY | PERFORMANCE | ENGINEERING, AEROSPACE
Journal Article
IEEE transactions on automatic control, ISSN 1558-2523, 2017, Volume 62, Issue 3, pp. 1078 - 1093
Journal Article
The Journal of artificial intelligence research, ISSN 1076-9757, 2019, Volume 66, pp. 197 - 223
In this paper we investigate the Timed Alternating-Time Temporal Logic (TATL), a discrete-time extension of ATL. In particular, we propose, systematize, and... 
MODEL-CHECKING | AUTOMATA | REACHABILITY | GAMES | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Journal Article
IEEE Transactions on Power Systems, ISSN 0885-8950, 11/2012, Volume 27, Issue 4, pp. 1978 - 1989
This paper proposes a set-theoretic method to assess the effect of variability associated with renewable-based electricity generation on power system dynamics,... 
Uncertainty | Wind energy | Power system dynamics | Solar energy | Power system stability | Power system dynamic performance assessment | reachability | variability | Reachability analysis | solar energy | wind energy | uncertainty | LINEAR-SYSTEMS | SENSITIVITY | MODEL | ENGINEERING, ELECTRICAL & ELECTRONIC | Measurement | Frequency modulation | Usage | Electric power systems | Innovations
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 01/2018, Volume 709, pp. 48 - 63
In this work we study local checkability of network properties like s–t reachability, or whether the network is acyclic or contains a cycle. A structural... 
Local checking | Acyclicity | Software defined networking | s–t reachability | DISTRIBUTED VERIFICATION | s-t reachability | CONVERGENCE | COMPUTER SCIENCE, THEORY & METHODS | ABSTRACTIONS | Analysis | Algorithms
Journal Article
VLDB Journal, ISSN 1066-8888, 2014, Volume 23, Issue 2, pp. 227 - 252
Journal Article
Automatica, ISSN 0005-1098, 06/2012, Volume 48, Issue 6, pp. 1218 - 1223
Boolean control networks (BCNs) are recently attracting considerable interest as computational models for genetic and cellular networks. Addressing... 
Logical systems | Controllability | Systems biology | Nonnegative matrices | Reachability | Gene regulating networks | SWITCHED SYSTEMS | MODELS | STABILITY | GENES | AUTOMATION & CONTROL SYSTEMS | ENGINEERING, ELECTRICAL & ELECTRONIC | Algebra | Cellular communication | Genetics | Control systems | Mathematical models | Boolean algebra | Biological
Journal Article
IEEE Transactions on Automatic Control, ISSN 0018-9286, 01/2017, Volume 62, Issue 1, pp. 81 - 96
Journal Article
Systems & control letters, ISSN 0167-6911, 2010, Volume 59, Issue 12, pp. 767 - 774
The input-state incidence matrix of a control Boolean network is proposed. It is shown that this matrix contains complete information of the input-state... 
Mix-valued logic | Input-state incidence matrix | Observability | Boolean control network | Reachability | OPERATIONS RESEARCH & MANAGEMENT SCIENCE | DYNAMICS | AUTOMATION & CONTROL SYSTEMS
Journal Article
IEEE/ACM Transactions on Networking, ISSN 1063-6692, 04/2016, Volume 24, Issue 2, pp. 887 - 900
Journal Article
IEEE transactions on automatic control, ISSN 1558-2523, 2016, Volume 61, Issue 9, pp. 2618 - 2624
Journal Article
Journal of Guidance, Control, and Dynamics, ISSN 0731-5090, 01/2013, Volume 36, Issue 1, pp. 149 - 162
Loss of control is a major factor in fatal aircraft accidents. Although definitions of loss of control remain vague in analytical terms, it is generally... 
INVARIANCE | CONSTRAINED REGULATION | INSTRUMENTS & INSTRUMENTATION | SET | DYNAMICS | SYSTEMS | ENGINEERING, AEROSPACE | BIFURCATION-ANALYSIS | REACHABILITY
Journal Article
IEEE Transactions on Control Systems Technology, ISSN 1063-6536, 01/2017, Volume 25, Issue 1, pp. 309 - 316
Journal Article
Journal of Computer and System Sciences, ISSN 0022-0000, 03/2019, Volume 100, pp. 30 - 43
This paper solves three open problems about the decidability of the vector and scalar reachability problems and the point to point reachability by fractional... 
Matrix semigroup | Vector reachability problem | Scalar reachability problem | Special linear group | Linear fractional transformation | Automata and formal languages | UNDECIDABILITY BOUNDS | MATRIX | MEMBERSHIP | COMPUTER SCIENCE, HARDWARE & ARCHITECTURE | FREENESS | COMPUTER SCIENCE, THEORY & METHODS | Computer science | Robots
Journal Article
Automatica, ISSN 0005-1098, 08/2018, Volume 94, pp. 94 - 101
This paper presents a new safety specification method that is robust against errors in the probability distribution of disturbances. Our proposed... 
Stochastic systems | Safety analysis | Stochastic control | Verification | Duality | Dynamic programming | Game theory | Reachability | ENGINEERING, ELECTRICAL & ELECTRONIC | REACHABILITY ANALYSIS | SETS | FRAMEWORK | OPTIMIZATION | HYBRID SYSTEMS | AUTOMATION & CONTROL SYSTEMS | Safety and security measures | Algorithms | Analysis
Journal Article
Journal of Graph Theory, ISSN 0364-9024, 03/2019, Volume 90, Issue 3, pp. 213 - 226
Let H = ( V H , A H ) be a digraph which may contain loops, and let D = ( V D , A D ) be a loopless digraph with a coloring of its arcs c  :  A D → V H. An... 
monochromatic path | arc‐colored digraph | kernel by H‐walks | reachability algorithms | reachability problems | arc-colored digraph | kernel by H-walks | MATHEMATICS | MONOCHROMATIC PATHS
Journal Article
IEEE transactions on robotics, ISSN 1941-0468, 2014, Volume 30, Issue 4, pp. 903 - 918
An approach for formally verifying the safety of automated vehicles is proposed. Due to the uniqueness of each traffic situation, we verify safety online,... 
formal verification | Roads | Automated vehicles | Trajectory | Safety | Mathematical model | Vehicle dynamics | Reachability analysis | set-based computation | Vehicles | autonomous cars | reachability analysis | COMPUTATIONAL TECHNIQUES | MPC | ROBOTICS | NONLINEAR-SYSTEMS | BOUNDS | SETS | Usage | Mathematical models | Management | Mobile robots | Traffic safety | Traffic flow | Automated | Traffic engineering | Online
Journal Article
Automatica, ISSN 0005-1098, 05/2013, Volume 49, Issue 5, pp. 1216 - 1226
Controller design faces a trade-off between robustness and performance, and the reliability of linear controllers has caused many practitioners to focus on the... 
Robustness | Learning control | Statistics | Safety analysis | Predictive control | TO-STATE STABILITY | MPC | INVARIANT-SETS | ALGORITHM | PIECEWISE-CONSTANT REFERENCES | ADAPTIVE-CONTROL | DISCRETE-TIME-SYSTEMS | ENGINEERING, ELECTRICAL & ELECTRONIC | CONSISTENCY | REACHABILITY ANALYSIS | COMPUTATION | AUTOMATION & CONTROL SYSTEMS
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.