Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Frequently Asked Questions
Frequently Asked Questions
Communities & Collections
Communities & Collections
Time-constrained temporal logic control of multi-affine systems
Download
index.pdf
Date
2013-11-01
Author
Aydın Göl, Ebru
Belta, Calin
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
10
views
11
downloads
In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time. We focus on multi-affine systems and specifications given as syntactically co-safe linear temporal logic formulas over rectangular regions in the state space. The proposed algorithm is based on estimating the time bounds for facet reachability problems and solving a time optimal reachability problem on the product between a weighted transition system and an automaton that enforces the satisfaction of the specification. A random optimization algorithm is used to iteratively improve the solution.
Subject Keywords
Control and Systems Engineering
,
Analysis
,
Computer Science Applications
URI
https://hdl.handle.net/11511/39745
Journal
NONLINEAR ANALYSIS-HYBRID SYSTEMS
DOI
https://doi.org/10.1016/j.nahs.2013.03.002
Collections
Department of Computer Engineering, Article