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