scholar.google.com › citations
We tackle the issue of scalability when synthesizing controllers for signalized vehicular traffic networks with linear temporal logic specifications.
A sub-network's own supply-demand bound is a guarantee to be satisfied, whereas its assumption consists of guarantees from adjacent sub-networks. This work ...
This work addresses the issue of scalability when synthesizing controllers for large signalized vehicular traffic networks with linear temporal logic ...
Assume-guarantee contracts have been utilized in a variety of applications, including controller synthesis for traffic networks [21] , the computation of ...
May 13, 2024 · (2022) propose a compositional synthesis of signal temporal logic specifications through assume- guarantee contracts. Furthermore, the problem ...
Compositional controller synthesis for vehicular traffic networks ... assume-guarantee ... Dynamic contracts for distributed temporal logic control of traffic ...
Apr 22, 2020 · We develop an assume-guarantee framework for control of large scale linear (time-varying) systems from finite-time reach and avoid or ...
Assume-guarantee contracts and controller synthesis for vehicular traffic networks. ... Compositional controller synthesis for vehicular traffic networks. CDC ...
We developed a compositional synthesis framework for vehicle traffic networks via assume–guarantee contracts in Kim et al. (2015), along with preliminary ...
[PDF] Assume-Guarantee Distributed Synthesis - Damien Zufferey
dzufferey.github.io › files › 2020_...
A strategy for the controller is then synthesized to enforce each local specification along with the guarantee under the hypothesis that the other systems.
Missing: traffic | Show results with:traffic