ScienceGate Book Chapters

JOURNAL ARTICLE

Model Predictive Control with Signal Temporal Logic Specifications

Vasumathi Raman Donzé, Alexandre Maasoumy, Mehdi Murray, Richard M Sangiovanni-Vincentelli, Alberto Sanjit A Seshia

Year: 2014

DOI: 10.13140/2.1.1143.0404

Get Full-Text PDF Get Analytical Report

Keywords:

Model predictive control Control theory (sociology) SIGNAL (programming language) Temporal logic Control (management) Control system

Metrics

0

Cited By

0.00

FWCI (Field Weighted Citation Impact)

0

Refs

0.56

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Advanced Control Systems Optimization

Physical Sciences → Engineering → Control and Systems Engineering

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Control Systems and Identification

Physical Sciences → Engineering → Control and Systems Engineering

Related Documents

JOURNAL ARTICLE

Model predictive control with signal temporal logic specifications

Vasumathi Raman Alexandre Donzé Mehdi Maasoumy Richard M. Murray Alberto Sangiovanni‐Vincentelli Sanjit A. Seshia

Year: 2014 Pages: 81-87

JOURNAL ARTICLE

Model predictive control from signal temporal logic specifications

Vasumathi Raman Mehdi Maasoumy Alexandre Donzé

Year: 2014 Pages: 52-55

JOURNAL ARTICLE

Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications

Eunji Im Minji Choi Kyunghoon Cho

Journal: Sensors Year: 2024 Vol: 24 (14)Pages: 4567-4567

JOURNAL ARTICLE

Learning-Based Model Predictive Control Under Signal Temporal Logic Specifications

Kyunghoon Cho Songhwai Oh

Year: 2018 Pages: 7322-7329

JOURNAL ARTICLE

Distributed Model Predictive Control for Probabilistic Signal Temporal Logic Specifications

Tiange Yang Yuanyuan Zou Shaoyuan Li Yaru Yang

Journal: IEEE Transactions on Automation Science and Engineering Year: 2023 Vol: 21 (4)Pages: 6239-6249