Controller synthesis for linear temporal logic and steady-state specifications

Alvaro Velasquez; Ismail Alkhouri; Andre Beckus; Ashutosh Trivedi; George Atia

doi:10.1007/s10458-024-09648-7

ScienceGate Book Chapters

JOURNAL ARTICLE

Controller synthesis for linear temporal logic and steady-state specifications

Alvaro Velasquez Ismail Alkhouri Andre Beckus Ashutosh Trivedi George Atia

Year: 2024 Journal: Autonomous Agents and Multi-Agent Systems Vol: 38 (1) Publisher: Springer Science+Business Media

DOI: 10.1007/s10458-024-09648-7

Get Full-Text PDF Get Analytical Report

Keywords:

Linear temporal logic Temporal logic State (computer science) Control theory (sociology) Controller (irrigation) Control engineering Computer science Mathematics Programming language Engineering Control (management) Artificial intelligence

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.08

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Embedded Systems Design Techniques

Physical Sciences → Computer Science → Hardware and Architecture

Real-Time Systems Scheduling

Physical Sciences → Computer Science → Hardware and Architecture

Controller synthesis for linear temporal logic and steady-state specifications

Metrics

Topics

Related Documents

Zonotope-Based Symbolic Controller Synthesis for Linear Temporal Logic Specifications

Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization

Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications

BluSTL: Controller Synthesis from Signal Temporal Logic Specifications

Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications