Results 1  10
of
2,042,609
Finite Abstractions of Stochastic MaxPlusLinear Systems
"... Abstract. This work investigates the use of finite abstractions to study the finitehorizon probabilistic invariance problem over Stochastic MaxPlusLinear (SMPL) systems. SMPL systems are probabilistic extensions of discreteevent MPL systems that are widely employed in the engineering practice f ..."
Abstract
 Add to MetaCart
Abstract. This work investigates the use of finite abstractions to study the finitehorizon probabilistic invariance problem over Stochastic MaxPlusLinear (SMPL) systems. SMPL systems are probabilistic extensions of discreteevent MPL systems that are widely employed in the engineering practice
Abstraction and Verification of Autonomous MaxPlusLinear Systems
"... Abstract—This work investigates the use of finite abstractions for the verification of autonomous MaxPlusLinear (MPL) models. Abstractions are characterized as finitestate labeled transition systems (LTS) and are obtained by first partitioning the state space of the MPL and associating states of ..."
Abstract
 Add to MetaCart
Abstract—This work investigates the use of finite abstractions for the verification of autonomous MaxPlusLinear (MPL) models. Abstractions are characterized as finitestate labeled transition systems (LTS) and are obtained by first partitioning the state space of the MPL and associating states
Interprocedural dataflow analysis via graph reachability
, 1994
"... The paper shows how a large class of interprocedural dataflowanalysis problems can be solved precisely in polynomial time by transforming them into a special kind of graphreachability problem. The only restrictions are that the set of dataflow facts must be a finite set, and that the dataflow fun ..."
Abstract

Cited by 454 (34 self)
 Add to MetaCart
The paper shows how a large class of interprocedural dataflowanalysis problems can be solved precisely in polynomial time by transforming them into a special kind of graphreachability problem. The only restrictions are that the set of dataflow facts must be a finite set, and that the dataflow
Reachability Analysis of Pushdown Automata: Application to ModelChecking
, 1997
"... We apply the symbolic analysis principle to pushdown systems. We represent (possibly infinite) sets of configurations of such systems by means of finitestate automata. In order to reason in a uniform way about analysis problems involving both existential and universal path quantification (like mode ..."
Abstract

Cited by 385 (39 self)
 Add to MetaCart
We apply the symbolic analysis principle to pushdown systems. We represent (possibly infinite) sets of configurations of such systems by means of finitestate automata. In order to reason in a uniform way about analysis problems involving both existential and universal path quantification (like
maxpluslinear systems ⋆
, 2007
"... Stable model predictive control for constrained maxpluslinear systems ∗ ..."
Abstract
 Add to MetaCart
Stable model predictive control for constrained maxpluslinear systems ∗
The algorithmic analysis of hybrid systems
 THEORETICAL COMPUTER SCIENCE
, 1995
"... We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as nite automata equipped with variables that evolve continuously with time according to dynamica ..."
Abstract

Cited by 783 (76 self)
 Add to MetaCart
to linear hybrid systems. In particular, we consider symbolic modelchecking and minimization procedures that are based on the reachability analysis of an infinite state space. The procedures iteratively compute state sets that are definable as unions of convex polyhedra in multidimensional real space. We
Identification of stochastic maxpluslinear systems
 In Proceedings of the 2003 European Control Conference (ECC’03
, 2003
"... maxpluslinear systems ∗ ..."
The Protection of Information in Computer Systems
, 1975
"... This tutorial paper explores the mechanics of protecting computerstored information from unauthorized use or modification. It concentrates on those architectural structureswhether hardware or softwarethat are necessary to support information protection. The paper develops in three main sections ..."
Abstract

Cited by 815 (2 self)
 Add to MetaCart
architecture. It examines in depth the principles of modern protection architectures and the relation between capability systems and access control list systems, and ends with a brief analysis of protected subsystems and protected objects. The reader who is dismayed by either the prerequisites or the level
A Survey of Program Slicing Techniques
 JOURNAL OF PROGRAMMING LANGUAGES
, 1995
"... A program slice consists of the parts of a program that (potentially) affect the values computed at some point of interest, referred to as a slicing criterion. The task of computing program slices is called program slicing. The original definition of a program slice was presented by Weiser in 197 ..."
Abstract

Cited by 777 (8 self)
 Add to MetaCart
A program slice consists of the parts of a program that (potentially) affect the values computed at some point of interest, referred to as a slicing criterion. The task of computing program slices is called program slicing. The original definition of a program slice was presented by Weiser
Routing Techniques in Wireless Sensor Networks: A Survey
 IEEE Wireless Communications
, 2004
"... Wireless Sensor Networks (WSNs) consist of small nodes with sensing, computation, and wireless communications capabilities. Many routing, power management, and data dissemination protocols have been specifically designed for WSNs where energy awareness is an essential design issue. The focus, howeve ..."
Abstract

Cited by 704 (2 self)
 Add to MetaCart
Wireless Sensor Networks (WSNs) consist of small nodes with sensing, computation, and wireless communications capabilities. Many routing, power management, and data dissemination protocols have been specifically designed for WSNs where energy awareness is an essential design issue. The focus
Results 1  10
of
2,042,609