Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment

Hybrid Systems: Computation and Control - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00602-9_40 ◽

2009 ◽

pp. 485-489

Author(s):

Farn Wang

Keyword(s):

Branching Bisimulation ◽

Download Full-text

Orthogonal functions approach to the analysis of discrete-time systems is unnecessary

Journal of the Franklin Institute ◽

10.1016/s0016-0032(98)90003-5 ◽

1998 ◽

Vol 355 (3) ◽

pp. 441-449

Author(s):

B Mohan

Keyword(s):

Discrete Time ◽

Orthogonal Functions ◽

Discrete Time Systems ◽

Download Full-text

Optimization of Stochastic Systems: Topics in Discrete-Time Systems

10.1016/s0076-5392(08)x6117-x ◽

1967 ◽

Keyword(s):

Discrete Time ◽

Stochastic Systems ◽

Discrete Time Systems ◽

Download Full-text

LQG predictive optimal controller for continuous-time systems

IEE Proceedings D Control Theory and Applications ◽

10.1049/ip-d.1993.0026 ◽

1993 ◽

Vol 140 (3) ◽

pp. 181 ◽

Author(s):

M.J. Grimble

Keyword(s):

Continuous Time ◽

Optimal Controller ◽

Continuous Time Systems ◽

Download Full-text

Software Engineering for Real Time Systems

10.1049/ir:19920047 ◽

1992 ◽

Vol 38 (3) ◽

pp. 112

Author(s):

Stuart Bennett

Keyword(s):

Software Engineering ◽

Real Time ◽

Real Time Systems ◽

Download Full-text

An adaptive scheduling algorithm for fault-tolerant real-time systems

Software Engineering Journal ◽

10.1049/sej.1991.0013 ◽

1991 ◽

Vol 6 (3) ◽

pp. 93 ◽

Author(s):

Houssine Chetto ◽

Maryline Chetto

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Scheduling Algorithm ◽

Adaptive Scheduling ◽

Real Time Systems ◽

Download Full-text

PFC design via FRIT Approach for Adaptive Output Feedback Control of Discrete-time Systems

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.132.834 ◽

2012 ◽

Vol 132 (6) ◽

pp. 834-841 ◽

Author(s):

Ikuro Mizumoto ◽

Taro Takagi ◽

Sota Fukui ◽

Sirish L. Shah

Keyword(s):

Feedback Control ◽

Discrete Time ◽

Output Feedback ◽

Output Feedback Control ◽

Discrete Time Systems ◽

Adaptive Output Feedback Control ◽

Download Full-text

A Multi-rate Controller to Minimize Ripples at Transient State of Sampled-time Systems

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.138.1169 ◽

2018 ◽

Vol 138 (9) ◽

pp. 1169-1175

Author(s):

Akira Inoue ◽

Takao Sato ◽

Akira Yanou ◽

Mingcong Deng

Keyword(s):

Transient State ◽

Download Full-text

Asymptotic Recovery for Discrete-Time Systems

10.23919/acc.1983.4788212 ◽

1983 ◽

Author(s):

J.M. Maciejowski ◽

P.F. Westaway

Keyword(s):

Discrete Time ◽

Discrete Time Systems ◽

Download Full-text

Nonseparable Dynamic Programming in Discrete Time Systems

1991 American Control Conference ◽

10.23919/acc.1991.4791584 ◽

1991 ◽

Author(s):

Duan Li ◽

Yacov Y. Haimes

Keyword(s):

Dynamic Programming ◽

Discrete Time ◽

Discrete Time Systems ◽

Download Full-text

Global Constrained Holdability of Discrete Time Systems

10.23919/acc.1986.4789013 ◽

1986 ◽

Author(s):

Robert P. Van Til ◽

William E. Schmitendorf

Keyword(s):

Discrete Time ◽

Discrete Time Systems ◽

Download Full-text