3565 search results - page 152 / 713 » Modeling a system controller for timing analysis |
119
click to vote
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
100
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
104
click to vote
ICRA
1995
IEEE
15 years 7 months ago
1995
IEEE
The control of nonholonomic and underactuated systems with symmetry is illustrated by the problem of controlling a bicycle. We derive a controller which, using steering and rear-w...
132
click to vote
OSDI
2004
ACM
16 years 3 months ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...
111
Voted
UAI
2008
15 years 4 months ago
2008
When the initial and transition probabilities of a finite Markov chain in discrete time are not well known, we should perform a sensitivity analysis. This is done by considering a...