Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Augmented finite transition systems as abstractions for control synthesis Nilsson, Petter
 2017
 27 2 p. 301-340
 artikel
2 Automated generation of dynamics-based runtime certificates for high-level control DeCastro, Jonathan
 2016
 27 2 p. 371-405
 artikel
3 Controller synthesis for dynamic hierarchical real-time plants using timed automata Waez, Md Tawhid Bin
 2017
 27 2 p. 407-441
 artikel
4 Dynamic hierarchical reactive controller synthesis Schmuck, Anne-Kathrin
 2017
 27 2 p. 261-299
 artikel
5 Falsification of combined invariance and reachability specifications in hybrid control systems Rawlings, Blake C.
 2017
 27 2 p. 463-479
 artikel
6 Guest editorial: special issue on formal methods in control Ozay, Necmiye
 2017
 27 2 p. 205-208
 artikel
7 Order-reduction abstractions for safety verification of high-dimensional linear systems Tran, Hoang-Dung
 2017
 27 2 p. 443-461
 artikel
8 Supervisory control and reactive synthesis: a comparative introduction Ehlers, Rüdiger
 2016
 27 2 p. 209-260
 artikel
9 Towards scalable synthesis of stochastic control systems Zamani, Majid
 2016
 27 2 p. 341-369
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland