On Generating Safe Controllers for DiscreteTime Linear Systems - PowerPoint PPT Presentation

1 / 16
} ?>
View by Category
About This Presentation
Title:

On Generating Safe Controllers for DiscreteTime Linear Systems

Description:

Linear Temporal Logic ... We can use linear temporal logic express these properties ... f to make x satisfy a safety property. Cataldo 14. Discrete-Time Systems ... – PowerPoint PPT presentation

Number of Views:36
Avg rating:3.0/5.0
Slides: 17
Provided by: acat7
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com