Springer Science and Business Media LLC
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
Control of Parameterized Discrete Event Systems
Springer Science and Business Media LLC - Tập 19 Số 2 - Trang 213-265 - 2009
Reduction of Timed Hybrid Systems
Springer Science and Business Media LLC - Tập 8 - Trang 343-351 - 1998
We consider a class of hybrid dynamical systems and obtain conditions under
which the behavior of these systems can be reduced to a finite state automaton.
Specifically, we consider timed automata with more general enabling regions
coupling the continuous and discrete dynamics than those previously considered.
We provide a necessary condition for the existence of a finite state reduction,
together...
Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions
Springer Science and Business Media LLC - Tập 27 - Trang 45-84 - 2016
We consider decentralized diagnosis of discrete event systems in the conditional
disjunctive and conjunctive architectures, where the local failure decision and
local nonfailure decision are conditional, respectively. For each of these
architectures, a notion of conditional codiagnosability, which guarantees the
detection of any failure by conditional decentralized diagnosis within a bounded
numbe...
Ordinal Optimization and Quantification of Heuristic Designs
Springer Science and Business Media LLC - Tập 19 - Trang 317-345 - 2009
This paper focuses on the performance evaluation of complex man-made systems,
such as assembly lines, electric power grid, traffic systems, and various paper
processing bureaucracies, etc. For such problems, applying the traditional
optimization tool of mathematical programming and gradient descent procedures of
continuous variables optimization are often inappropriate or infeasible, as the
design...
On steady state of continuous min-plus systems
Springer Science and Business Media LLC - Tập 24 - Trang 581-610 - 2013
We study the steady state of a class of continuous min-plus linear systems by
using the notion of system type. The aim is to control systems in order that
outputs asymptotically track certain polynomial reference inputs in relation
with the just-in-time criterion. As in conventional system theory, the use of
system type property gives very simple expression for the resulting controllers.
Disturban...
Solvability of Centralized Supervisory Control Under Partial Observation
Springer Science and Business Media LLC - Tập 16 - Trang 527-553 - 2006
The problem of synthesizing a nontrivial controllable and observable sublanguage
of a given non-prefix-closed language is addressed. This problem arises in
supervisory control of discrete-event systems, when the objective is to
synthesize safe nonblocking supervisors for partially observed systems. The
decentralized version of this problem is known to be unsolvable. We show that
the centralized ve...
Parallel Rollout for Online Solution of Partially Observable Markov Decision Processes
Springer Science and Business Media LLC - Tập 14 - Trang 309-341 - 2004
We propose a novel approach, called parallel rollout, to solving (partially
observable) Markov decision processes. Our approach generalizes the rollout
algorithm of Bertsekas and Castanon (1999) by rolling out a set of multiple
heuristic policies rather than a single policy. In particular, the parallel
rollout approach aims at the class of problems where we have multiple heuristic
policies availab...
Parallel simulation of statistical multiplexers
Springer Science and Business Media LLC - Tập 5 Số 2-3 - Trang 115-140 - 1995
Tổng số: 441
- 1
- 2
- 3
- 4
- 5
- 6
- 10