Time-optimal symbolic control of a changeover process based on an approximately bisimilar symbolic model

Journal of Process Control ◽

10.1016/j.jprocont.2019.06.009 ◽

2019 ◽

Vol 81 ◽

pp. 126-135

Author(s):

Mohammad Fakhroleslam ◽

Giordano Pola ◽

Elena De Santis ◽

Maria Domenica Di Benedetto

Keyword(s):

Symbolic Model ◽

Symbolic Control ◽

Download Full-text

Stability and Time-Optimal Control of Hereditary Systems

10.1016/s0076-5392(09)x6009-1 ◽

1992 ◽

Keyword(s):

Optimal Control ◽

Time Optimal Control ◽

Download Full-text

Hierarchical time-optimal control of a continuous copolymerization reactor during start-up or grade change operation using genetic algorithms

Computers & Chemical Engineering ◽

10.1016/s0098-1354(97)00186-5 ◽

1997 ◽

Vol 21 (1-2) ◽

pp. S1037-S1042

Author(s):

H Moo

Keyword(s):

Optimal Control ◽

Genetic Algorithms ◽

Time Optimal Control ◽

Grade Change ◽

Start Up ◽

Time Optimal ◽

Change Operation ◽

Grade Change Operation

Download Full-text

Time-optimal control of a linear diffusion process

Proceedings of the Institution of Electrical Engineers ◽

10.1049/piee.1965.0093 ◽

1965 ◽

Vol 112 (3) ◽

pp. 543 ◽

Author(s):

I. McCausland

Keyword(s):

Optimal Control ◽

Diffusion Process ◽

Time Optimal Control ◽

Linear Diffusion ◽

Download Full-text

Time-Optimal Gathering Algorithm of Mobile Robots with Local Weak Multiplicity Detection in Rings

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e96.a.1072 ◽

2013 ◽

Vol E96.A (6) ◽

pp. 1072-1080 ◽

Author(s):

Tomoko IZUMI ◽

Taisuke IZUMI ◽

Sayaka KAMEI ◽

Fukuhito OOSHITA

Keyword(s):

Mobile Robots ◽

Download Full-text

Synthesis of Time Optimal Spatial Slewing of Spacecraft Using Dynamic Equation of Rigid Body Rotational Motion at Rodrigues-Hamilton Parameters

Journal of Automation and Information Sciences ◽

10.1615/jautomatinfscien.v49.i6.10 ◽

2017 ◽

Vol 49 (6) ◽

pp. 1-21

Author(s):

Nikolay V. Yefimenko

Keyword(s):

Rotational Motion ◽

Dynamic Equation ◽

Download Full-text

Investigation of a perturbation method to solve essentially non-regular time-optimal control problems with state constraints*

2020 European Control Conference (ECC) ◽

10.23919/ecc51009.2020.9143703 ◽

2020 ◽

Author(s):

Roman Chertovskih ◽

Anna Daryina ◽

Askhat Diveev ◽

Dmitry Karamzin ◽

Fernando L. Pereira ◽

...

Keyword(s):

Optimal Control ◽

Perturbation Method ◽

State Constraints ◽

Optimal Control Problems ◽

Time Optimal Control ◽

Control Problems ◽

Regular Time ◽

Download Full-text

Neighborhood estimation in sensitivity-based update rules for real-time optimal control

2020 European Control Conference (ECC) ◽

10.23919/ecc51009.2020.9143701 ◽

2020 ◽

Author(s):

Caroline Specht ◽

Matthias Gerdts ◽

Roberto Lampariello

Keyword(s):

Optimal Control ◽

Real Time ◽

Time Optimal Control ◽

Time Optimal ◽

Download Full-text

On the time-optimal control of the heat exchange process

Uzbek Mathematical Journal ◽

10.29229/uzmj.2019-2-1 ◽

2019 ◽

Vol 2019 (2) ◽

pp. 4-17

Author(s):

Sh.A. Alimov ◽

F.N. Dekhkonov

Keyword(s):

Optimal Control ◽

Heat Exchange ◽

Exchange Process ◽

Time Optimal Control ◽

Heat Exchange Process ◽

Download Full-text

Symbolic Model Checking Knowledge and Time in Multi-Agent System Via Extended Mu-Calculus

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2008.00245 ◽

2009 ◽

Vol 31 (2) ◽

pp. 245-252 ◽

Author(s):

Li-Jun WU ◽

Jin-Shu SU ◽

Kai-Le SU

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Multi Agent System ◽

Agent System ◽

Symbolic Model ◽

Download Full-text

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification

10.21236/ada346065 ◽

1998 ◽

Author(s):

Sergey Berezin ◽

Armin Biere ◽

Edmund Clarke ◽

Yunshan Zhu

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Processor Verification

Download Full-text