Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints

Koichi KOBAYASHI; Takuro NAGAMI; Kunihiko HIRAISHI

doi:10.1587/transfun.e98.a.626

Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e98.a.626 ◽

2015 ◽

Vol E98.A (2) ◽

pp. 626-634 ◽

Cited By ~ 4

Author(s):

Koichi KOBAYASHI ◽

Takuro NAGAMI ◽

Kunihiko HIRAISHI

Keyword(s):

Optimal Control ◽

Temporal Logic ◽

Vehicle Systems

Download Full-text

An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis

IEEE Transactions on Robotics ◽

10.1109/tro.2021.3061983 ◽

2021 ◽

pp. 1-21

Author(s):

Xusheng Luo ◽

Yiannis Kantaros ◽

Michael M. Zavlanos

Keyword(s):

Optimal Control ◽

Temporal Logic ◽

Control Synthesis ◽

Optimal Control Synthesis

Download Full-text

Optimal Control with Weighted Average Costs and Temporal Logic Specifications

Robotics ◽

10.7551/mitpress/9816.003.0062 ◽

2013 ◽

Keyword(s):

Optimal Control ◽

Temporal Logic ◽

Weighted Average

Download Full-text

Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.2021map0003 ◽

2021 ◽

Author(s):

Kohei FUJITA ◽

Toshimitsu USHIO

Keyword(s):

Optimal Control ◽

Petri Nets ◽

Temporal Logic ◽

Mutual Exclusion ◽

Timed Petri Nets

Download Full-text

Optimal Control of Endoatmospheric Launch Vehicle Systems: Geometric and Computational Issues

IEEE Transactions on Automatic Control ◽

10.1109/tac.2019.2929099 ◽

2020 ◽

Vol 65 (6) ◽

pp. 2418-2433

Author(s):

Riccardo Bonalli ◽

Bruno Herisse ◽

Emmanuel Trelat

Keyword(s):

Optimal Control ◽

Launch Vehicle ◽

Vehicle Systems

Download Full-text

Optimal control of MDPs with temporal logic constraints

52nd IEEE Conference on Decision and Control ◽

10.1109/cdc.2013.6760491 ◽

2013 ◽

Cited By ~ 17

Author(s):

Maria Svorenova ◽

Ivana Cerna ◽

Calin Belta

Keyword(s):

Optimal Control ◽

Temporal Logic

Download Full-text

Optimal control of connected vehicle systems

53rd IEEE Conference on Decision and Control ◽

10.1109/cdc.2014.7040028 ◽

2014 ◽

Cited By ~ 13

Author(s):

Jin I. Ge ◽

Gabor Orosz

Keyword(s):

Optimal Control ◽

Connected Vehicle ◽

Vehicle Systems

Download Full-text

Optimal control of cyber physical vehicle systems

International Journal of Intelligent Systems Design and Computing ◽

10.1504/ijisdc.2017.10011915 ◽

2017 ◽

Vol 1 (3/4) ◽

pp. 205

Author(s):

Jutika Borah ◽

Mohan Kantipudi ◽

Kaustav Jyoti Borah

Keyword(s):

Optimal Control ◽

Vehicle Systems

Download Full-text

Analytical Initialization of a Continuation-Based Indirect Method for Optimal Control of Endo-Atmospheric Launch Vehicle Systems

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2017.08.095 ◽

2017 ◽

Vol 50 (1) ◽

pp. 482-487 ◽

Cited By ~ 2

Author(s):

Riccardo Bonalli ◽

Bruno Hérissé ◽

Emmanuel Trélat

Keyword(s):

Optimal Control ◽

Indirect Method ◽

Launch Vehicle ◽

Vehicle Systems

Download Full-text

An Active Suspension Model For Rail/Vehicle Systems With Preview and Stochastic Optimal Control

Journal of Sound and Vibration ◽

10.1006/jsvi.1993.1309 ◽

1993 ◽

Vol 166 (3) ◽

pp. 507-519 ◽

Cited By ~ 17

Author(s):

T. Yoshimura ◽

K. Edokoro ◽

N. Ananthanarayana

Keyword(s):

Optimal Control ◽

Stochastic Optimal Control ◽

Active Suspension ◽

Rail Vehicle ◽

Vehicle Systems ◽

Suspension Model

Download Full-text

Optimal Control with Weighted Average Costs and Temporal Logic Specifications

Robotics: Science and Systems VIII ◽

10.15607/rss.2012.viii.057 ◽

2012 ◽

Cited By ~ 10

Author(s):

Eric Wolff ◽

Ufuk Topcu ◽

Richard Murray

Keyword(s):

Optimal Control ◽

Temporal Logic ◽

Weighted Average

Download Full-text