Volume 27, Issue 2

June 2017

Special Issue on Formal Methods in Control

Issue Editors:

9 articles in this issue

Guest editorial: special issue on formal methods in control
Necmiye Ozay
Paulo Tabuada
EditorialNotes 20 April 2017 Pages: 205 - 208
Supervisory control and reactive synthesis: a comparative introduction
Rüdiger Ehlers
Stéphane Lafortune
Moshe Y. Vardi
OriginalPaper 15 March 2016 Pages: 209 - 260
Dynamic hierarchical reactive controller synthesis
Anne-Kathrin Schmuck
Rupak Majumdar
Adrian Leva
OriginalPaper Open access 04 May 2017 Pages: 261 - 299
Augmented finite transition systems as abstractions for control synthesis
Petter Nilsson
Necmiye Ozay
Jun Liu
OriginalPaper 31 March 2017 Pages: 301 - 340
Towards scalable synthesis of stochastic control systems
Majid Zamani
Ilya Tkachev
Alessandro Abate
OriginalPaper 22 November 2016 Pages: 341 - 369
Automated generation of dynamics-based runtime certificates for high-level control
Jonathan DeCastro
Rüdiger Ehlers
Hadas Kress-Gazit
OriginalPaper 25 November 2016 Pages: 371 - 405
Controller synthesis for dynamic hierarchical real-time plants using timed automata
Md Tawhid Bin Waez
Andrzej Wąsowski
Karen Rudie
OriginalPaper 05 April 2017 Pages: 407 - 441
Order-reduction abstractions for safety verification of high-dimensional linear systems
Hoang-Dung Tran
Luan Viet Nguyen
Taylor T. Johnson
OriginalPaper 12 April 2017 Pages: 443 - 461
Falsification of combined invariance and reachability specifications in hybrid control systems
Blake C. Rawlings
B. Erik Ydstie
OriginalPaper 06 April 2017 Pages: 463 - 479

Search