default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDiscrete Event Dynamic Systems, Volume 27
Volume 27, Number 1, March 2017
- Eric Dallal, Alessandro Colombo
, Domitilla Del Vecchio, Stéphane Lafortune:
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. 1-44 - Shoichi Yokota, Takashi Yamamoto, Shigemasa Takai:
Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions. 45-84 - Pascal Moyal:
On the stability of a class of non-monotonic systems of parallel queues. 85-107 - A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink:
Maximally permissive controlled system synthesis for non-determinism and modal logic. 109-142 - Houssam-Eddine Gougam, Yannick Pencolé, Audine Subias:
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. 143-180 - Kistosil Fahim, Subiono, Jacob van der Woude:
On a generalization of power algorithms over max-plus algebra. 181-203
Volume 27, Number 2, June 2017
- Necmiye Ozay, Paulo Tabuada:
Guest editorial: special issue on formal methods in control. 205-208 - Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Supervisory control and reactive synthesis: a comparative introduction. 209-260 - Anne-Kathrin Schmuck, Rupak Majumdar, Adrian Leva:
Dynamic hierarchical reactive controller synthesis. 261-299 - Petter Nilsson, Necmiye Ozay, Jun Liu:
Augmented finite transition systems as abstractions for control synthesis. 301-340 - Majid Zamani, Ilya Tkachev, Alessandro Abate:
Towards scalable synthesis of stochastic control systems. 341-369 - Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit:
Automated generation of dynamics-based runtime certificates for high-level control. 371-405 - Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie:
Controller synthesis for dynamic hierarchical real-time plants using timed automata. 407-441 - Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson:
Order-reduction abstractions for safety verification of high-dimensional linear systems. 443-461 - Blake C. Rawlings, B. Erik Ydstie:
Falsification of combined invariance and reachability specifications in hybrid control systems. 463-479
Volume 27, Number 3, September 2017
- David Thorsley:
A necessary and sufficient condition for diagnosability of stochastic discrete event systems. 481-500 - Qingda Wei, Xian Chen:
Average cost criterion induced by the regular utility function for continuous-time Markov decision processes. 501-524 - Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez:
Fluid approximation of Petri net models with relatively small populations. 525-546 - Shaull Almagor, Orna Kupferman:
Latticed-LTL synthesis in the presence of noisy inputs. 547-572 - Pascal Moyal:
A pathwise comparison of parallel queues. 573-584
Volume 27, Number 4, December 2017
- Jan Komenda, Tomás Masopust:
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication. 585-608 - Seyed Mehdi Vahidipour, Mohammad Reza Meybodi, Mehdi Esnaashari:
Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem. 609-640 - Bilal Benmessahel, Mohamed Touahria, Farid Nouioua:
Predictability of fuzzy discrete event systems. 641-673 - Haifeng Huo, Xiaolong Zou, Xianping Guo:
The risk probability criterion for discounted continuous-time Markov decision processes. 675-699 - Leonardo B. Clavijo, João Carlos Basilio:
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis. 701-739
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
