| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Characterization of the Eigenvalue of a General (Min,Max, +)-System
|
Jacob van der Woude
|
|
2001
|
|
3 |
p. 203-210
8 p.
|
artikel
|
| 2 |
A Characterization of the Eigenvalue of a General (Min, Max, +)-System
|
Van der Woude, Jacob
|
|
2001
|
|
3 |
p. 203-210
|
artikel
|
| 3 |
A controller synthesis framework for automated service composition
|
Atampore, Francis
|
|
2019
|
|
3 |
p. 297-365
|
artikel
|
| 4 |
A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity
|
Zhang, Yue
|
|
2019
|
|
3 |
p. 265-295
|
artikel
|
| 5 |
A Discrete Event Systems Approach for Protocol Conversion
|
Ratnesh Kumar
|
|
1997
|
|
3 |
p. 295-315
21 p.
|
artikel
|
| 6 |
A Discrete Event Systems Approach for Protocol Conversion
|
Kumar, Ratnesh
|
|
1997
|
|
3 |
p. 295-315
|
artikel
|
| 7 |
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
|
T.-S. Yoo
|
|
2002
|
|
3 |
p. 335-377
43 p.
|
artikel
|
| 8 |
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
|
Yoo, T.-S.
|
|
2002
|
|
3 |
p. 335-377
|
artikel
|
| 9 |
A hierarchical consistency framework for real-time supervisory control
|
Ngo, Quang Ha
|
|
2018
|
|
3 |
p. 375-426
|
artikel
|
| 10 |
Alignment Properties in Ordinal Comparison of DiscreteEvent Dynamic Systems
|
Liyi Dai
|
|
1999
|
|
3 |
p. 261-284
24 p.
|
artikel
|
| 11 |
Alignment Properties in Ordinal Comparison of Discrete Event Dynamic Systems
|
Dai, Liyi
|
|
1999
|
|
3 |
p. 261-284
|
artikel
|
| 12 |
A mean field absorbing control model for interacting objects systems
|
Martínez-Manzanares, M. Elena
|
|
|
|
3 |
p. 349-372
|
artikel
|
| 13 |
An accelerated stopping rule for the Nested Partition Hybrid Algorithm for discrete stochastic optimization
|
Berkhout, Joost
|
|
2014
|
|
3 |
p. 441-452
|
artikel
|
| 14 |
A necessary and sufficient condition for diagnosability of stochastic discrete event systems
|
Thorsley, David
|
|
2017
|
|
3 |
p. 481-500
|
artikel
|
| 15 |
A New Algorithm for Stochastic Discrete Resource AllocationOptimization
|
Leyuan Shi
|
|
2000
|
|
3 |
p. 271-294
24 p.
|
artikel
|
| 16 |
A New Algorithm for Stochastic Discrete Resource Allocation Optimization
|
Shi, Leyuan
|
|
2000
|
|
3 |
p. 271-294
|
artikel
|
| 17 |
A Nondeterministic Extension over Finitely Recursive ProcessModel
|
Supratik Bose
|
|
1997
|
|
3 |
p. 243-274
32 p.
|
artikel
|
| 18 |
A Nondeterministic Extension over Finitely Recursive Process Model
|
Bose, Supratik
|
|
1997
|
|
3 |
p. 243-274
|
artikel
|
| 19 |
A pathwise comparison of parallel queues
|
Moyal, Pascal
|
|
2017
|
|
3 |
p. 573-584
|
artikel
|
| 20 |
A receding horizon event-driven control strategy for intelligent traffic management
|
Lucia, Walter
|
|
|
|
3 |
p. 469-488
|
artikel
|
| 21 |
A Sufficient Condition for Reachability in a General Petri Net
|
Ramachandran, Parthasarathy
|
|
2004
|
|
3 |
p. 251-266
|
artikel
|
| 22 |
A survey on compositional algorithms for verification and synthesis in supervisory control
|
Malik, Robi
|
|
|
|
3 |
p. 279-340
|
artikel
|
| 23 |
A Tractable Class of Maximal Hedging Policies in Multi-PartManufacturing Systems
|
Sami El-Férik
|
|
1998
|
|
3 |
p. 299-331
33 p.
|
artikel
|
| 24 |
A Tractable Class of Maximal Hedging Policies in Multi-Part Manufacturing Systems
|
El-Férik, Sami
|
|
1998
|
|
3 |
p. 299-331
|
artikel
|
| 25 |
Average cost criterion induced by the regular utility function for continuous-time Markov decision processes
|
Wei, Qingda
|
|
2017
|
|
3 |
p. 501-524
|
artikel
|
| 26 |
Average criteria in denumerable semi-Markov decision chains under risk-aversion
|
Cavazos-Cadena, Rolando
|
|
|
|
3 |
p. 221-256
|
artikel
|
| 27 |
Centralized Modular Diagnosis and the Phenomenon of Coupling
|
García Moreno, E.
|
|
2006
|
|
3 |
p. 311-326
|
artikel
|
| 28 |
Comparative analysis of related notions of opacity in centralized and coordinated architectures
|
Wu, Yi-Chin
|
|
2012
|
|
3 |
p. 307-339
|
artikel
|
| 29 |
Compositional coordinator synthesis of extended finite automata
|
Goorden, Martijn A.
|
|
|
|
3 |
p. 317-348
|
artikel
|
| 30 |
Computation of minimal event bases that ensure diagnosability
|
Basilio, João Carlos
|
|
2012
|
|
3 |
p. 249-292
|
artikel
|
| 31 |
Contention-resolving model predictive control for an intelligent intersection traffic model
|
Yao, Ningshi
|
|
|
|
3 |
p. 407-437
|
artikel
|
| 32 |
Contributing Authors
|
|
|
2006
|
|
3 |
p. 413-416
|
artikel
|
| 33 |
Contributing Authors
|
|
|
2005
|
|
3 |
p. 317-319
|
artikel
|
| 34 |
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
|
Komenda, Jan
|
|
2005
|
|
3 |
p. 257-315
|
artikel
|
| 35 |
Control of (max, +)-linear systems minimizing delays
|
Houssin, Laurent
|
|
2012
|
|
3 |
p. 261-276
|
artikel
|
| 36 |
Control Synthesis of Petri Nets Based on S-Decreases
|
Chen Haoxun
|
|
2000
|
|
3 |
p. 233-249
17 p.
|
artikel
|
| 37 |
Control Synthesis of Petri Nets Based on S-Decreases
|
Haoxun, Chen
|
|
2000
|
|
3 |
p. 233-249
|
artikel
|
| 38 |
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
|
Lefebvre, Dimitri
|
|
|
|
3 |
p. 539-544
|
artikel
|
| 39 |
Customer-Oriented Finite Perturbation Analysis for QueueingNetworks
|
Bernd Heidergott
|
|
2000
|
|
3 |
p. 201-232
32 p.
|
artikel
|
| 40 |
Customer-Oriented Finite Perturbation Analysis for Queueing Networks
|
Heidergott, Bernd
|
|
2000
|
|
3 |
p. 201-232
|
artikel
|
| 41 |
Decentralized Control of Infinite Systems
|
Kalyon, Gabriel
|
|
2011
|
|
3 |
p. 359-393
|
artikel
|
| 42 |
Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach
|
S. Bulach
|
|
2002
|
|
3 |
p. 287-309
23 p.
|
artikel
|
| 43 |
Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach
|
Bulach, S.
|
|
2002
|
|
3 |
p. 287-309
|
artikel
|
| 44 |
Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory
|
Li, Ran
|
|
2015
|
|
3 |
p. 511-537
|
artikel
|
| 45 |
Detectability of labeled weighted automata over monoids
|
Zhang, Kuize
|
|
|
|
3 |
p. 435-494
|
artikel
|
| 46 |
Detectability of networked discrete event systems
|
Sasi, Yazeed
|
|
2018
|
|
3 |
p. 449-470
|
artikel
|
| 47 |
Determinization of timed Petri nets behaviors
|
Komenda, Jan
|
|
2015
|
|
3 |
p. 413-437
|
artikel
|
| 48 |
Diagnosability Analysis of a Class of Hierarchical State Machines
|
Paoli, Andrea
|
|
2008
|
|
3 |
p. 385-413
|
artikel
|
| 49 |
Diagnosability analysis of hybrid systems cast in a discrete-event framework
|
Bayoudh, Mehdi
|
|
2012
|
|
3 |
p. 309-338
|
artikel
|
| 50 |
Diagnosability of Petri nets with observation graphs
|
Lefebvre, D.
|
|
2015
|
|
3 |
p. 539-559
|
artikel
|
| 51 |
Diagnosability verification using LTL model checking
|
Tuxi, Thiago M.
|
|
|
|
3 |
p. 399-433
|
artikel
|
| 52 |
Distributed computation of vector clocks in Petri net unfoldings for test selection
|
Jezequel, Loïg
|
|
|
|
3 |
p. 441-464
|
artikel
|
| 53 |
Do what you know: coupling knowledge with action in discrete-event systems
|
Ritsuka, K.
|
|
|
|
3 |
p. 257-277
|
artikel
|
| 54 |
Dynamic Control with Indistinguishable Events
|
Briand, X.
|
|
2006
|
|
3 |
p. 353-384
|
artikel
|
| 55 |
Editorial
|
Yu-Chi Ho
|
|
2000
|
|
3 |
p. 199-199
1 p.
|
artikel
|
| 56 |
Editorial
|
Cao, Xi-Ren
|
|
2007
|
|
3 |
p. 265
|
artikel
|
| 57 |
Editorial
|
Ho, Yu-Chi
|
|
2000
|
|
3 |
p. 199
|
artikel
|
| 58 |
Editorial for the SI: Optimization of Discrete Event Dynamic Systems
|
Wardi, Yorai
|
|
2009
|
|
3 |
p. 283-285
|
artikel
|
| 59 |
Efficient Computation and Representation of Large Reachability Sets for Composed Automata
|
Peter Buchholz
|
|
2002
|
|
3 |
p. 265-286
22 p.
|
artikel
|
| 60 |
Efficient Computation and Representation of Large Reachability Sets for Composed Automata
|
Buchholz, Peter
|
|
2002
|
|
3 |
p. 265-286
|
artikel
|
| 61 |
Efficient PAC Learning for Episodic Tasks with Acyclic State Spaces
|
Reveliotis, Spyros
|
|
2007
|
|
3 |
p. 307-327
|
artikel
|
| 62 |
Energy-efficient thermal-aware multiprocessor scheduling for real-time tasks using TCPN
|
Rubio-Anguiano, L.
|
|
|
|
3 |
p. 237-264
|
artikel
|
| 63 |
Epistemic interpretations of decentralized discrete-event system problems
|
Ritsuka, K.
|
|
|
|
3 |
p. 359-398
|
artikel
|
| 64 |
Extending the network calculus algorithmic toolbox for ultimately pseudo-periodic functions: pseudo-inverse and composition
|
Zippo, Raffaele
|
|
|
|
3 |
p. 181-219
|
artikel
|
| 65 |
Extremal Throughputs in Free-Choice Nets
|
Bouillard, Anne
|
|
2006
|
|
3 |
p. 327-352
|
artikel
|
| 66 |
Fairness of Transitions in Diagnosability of Discrete Event Systems
|
Biswas, Santosh
|
|
2009
|
|
3 |
p. 349-376
|
artikel
|
| 67 |
Fault model identification and synthesis in Petri nets
|
Cabasino, Maria Paola
|
|
2014
|
|
3 |
p. 419-440
|
artikel
|
| 68 |
Flexible Nets: a modeling formalism for dynamic systems with uncertain parameters
|
Júlvez, Jorge
|
|
|
|
3 |
p. 367-392
|
artikel
|
| 69 |
Fluid approximation of Petri net models with relatively small populations
|
Fraca, Estíbaliz
|
|
2017
|
|
3 |
p. 525-546
|
artikel
|
| 70 |
Ghost Simulation Model for the Optimization of an Urban Subway System
|
Vázquez-Abad, Felisa J.
|
|
2005
|
|
3 |
p. 207-235
|
artikel
|
| 71 |
Hierarchical scheduling learning optimisation of two-area active distribution system considering peak shaving demand of power grid
|
Tang, Hao
|
|
|
|
3 |
p. 439-468
|
artikel
|
| 72 |
Insensitive Traffic Models for Communication Networks
|
Bonald, T.
|
|
2007
|
|
3 |
p. 405-421
|
artikel
|
| 73 |
Introduction
|
Y. C. Ho
|
|
1999
|
|
3 |
p. 207-209
3 p.
|
artikel
|
| 74 |
Introduction
|
Ho, Y. C.
|
|
1999
|
|
3 |
p. 207-209
|
artikel
|
| 75 |
Introduction to the WODES2000 Special Issue
|
René Boel
|
|
2002
|
|
3 |
p. 251-251
1 p.
|
artikel
|
| 76 |
Introduction to the WODES2000 Special Issue
|
Boel, René
|
|
2002
|
|
3 |
p. 251
|
artikel
|
| 77 |
Latticed-LTL synthesis in the presence of noisy inputs
|
Almagor, Shaull
|
|
2017
|
|
3 |
p. 547-572
|
artikel
|
| 78 |
Linear optimal control strategies for production systems with a discrete-event demand pattern
|
Giglio, Davide
|
|
2012
|
|
3 |
p. 339-352
|
artikel
|
| 79 |
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems
|
Whittaker, Sarah-Jane
|
|
2007
|
|
3 |
p. 285-321
|
artikel
|
| 80 |
Marking Optimization of Weighted Marked Graphs
|
Nathalie Sauer
|
|
2003
|
|
3 |
p. 245-262
18 p.
|
artikel
|
| 81 |
Marking Optimization of Weighted Marked Graphs
|
Sauer, Nathalie
|
|
2003
|
|
3 |
p. 245-262
|
artikel
|
| 82 |
Max-plus steady states in discrete event dynamic systems with inexact data
|
Myšková, Helena
|
|
|
|
3 |
p. 521-538
|
artikel
|
| 83 |
Modeling and analysis of switching max-plus linear systems with discrete-event feedback
|
Mohamadkhani, Alireza
|
|
|
|
3 |
p. 341-372
|
artikel
|
| 84 |
Modeling and control of switching max-plus-linear systems with random and deterministic switching
|
Boom, Ton J. J. van den
|
|
2011
|
|
3 |
p. 293-332
|
artikel
|
| 85 |
Modeling for supervisor synthesis – a lock-bridge combination case study
|
Reijnen, Ferdie F. H.
|
|
|
|
3 |
p. 499-532
|
artikel
|
| 86 |
Modular Control and Coordination of Discrete-Event Systems
|
Kai C. Wong
|
|
1998
|
|
3 |
p. 247-297
51 p.
|
artikel
|
| 87 |
Modular Control and Coordination of Discrete-Event Systems
|
Wong, Kai C.
|
|
1998
|
|
3 |
p. 247-297
|
artikel
|
| 88 |
Modular Fault Diagnosis Based on Discrete Event Systems
|
García, E.
|
|
2005
|
|
3 |
p. 237-256
|
artikel
|
| 89 |
Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems
|
Chakib, Hicham
|
|
2011
|
|
3 |
p. 333-380
|
artikel
|
| 90 |
Multiscale Q-learning with linear function approximation
|
Bhatnagar, Shalabh
|
|
2015
|
|
3 |
p. 477-509
|
artikel
|
| 91 |
Multi-task Implementation of Multi-periodic Synchronous Programs
|
Pagetti, Claire
|
|
2011
|
|
3 |
p. 307-338
|
artikel
|
| 92 |
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors
|
Lin, Liyong
|
|
|
|
3 |
p. 495-520
|
artikel
|
| 93 |
Off-Line Computation of Real-Time Schedules Using Petri Nets
|
E. Grolleau
|
|
2002
|
|
3 |
p. 311-333
23 p.
|
artikel
|
| 94 |
Off-Line Computation of Real-Time Schedules Using Petri Nets
|
Grolleau, E.
|
|
2002
|
|
3 |
p. 311-333
|
artikel
|
| 95 |
On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary petri net
|
Khaleghi, Roshanak
|
|
|
|
3 |
p. 373-405
|
artikel
|
| 96 |
On controlling prioritized discrete event systems with real-time constraints
|
Miao, Lei
|
|
2018
|
|
3 |
p. 427-447
|
artikel
|
| 97 |
On detectability of labeled Petri nets and finite automata
|
Zhang, Kuize
|
|
|
|
3 |
p. 465-497
|
artikel
|
| 98 |
On-Line Monitoring of Large Petri Net Models Under Partial Observation
|
Jiroveanu, George
|
|
2007
|
|
3 |
p. 323-354
|
artikel
|
| 99 |
On Regression-Based Stopping Times
|
Roy, Benjamin Van
|
|
2009
|
|
3 |
p. 307-324
|
artikel
|
| 100 |
On the composition of time Petri nets
|
Peres, Florent
|
|
2011
|
|
3 |
p. 395-424
|
artikel
|
| 101 |
On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems
|
RAMI DEBOUK
|
|
2003
|
|
3 |
p. 263-289
27 p.
|
artikel
|
| 102 |
On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems
|
Debouk, Rami
|
|
2003
|
|
3 |
p. 263-289
|
artikel
|
| 103 |
On the Minimization of Communication in Networked Systems with a Central Station
|
Wang, Weilin
|
|
2008
|
|
3 |
p. 415-443
|
artikel
|
| 104 |
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics
|
Júlvez, Jorge
|
|
2009
|
|
3 |
p. 377-407
|
artikel
|
| 105 |
Optimal control of hybrid switched systems: A brief survey
|
Zhu, Feng
|
|
2014
|
|
3 |
p. 345-364
|
artikel
|
| 106 |
Optimal Control of Production Processes with Variable Execution Times
|
Giglio, Davide
|
|
2009
|
|
3 |
p. 423-448
|
artikel
|
| 107 |
Optimal Node Visitation in Acyclic Stochastic Digraphs with Multi-threaded Traversals and Internal Visitation Requirements
|
Bountourelis, Theologos
|
|
2009
|
|
3 |
p. 347-376
|
artikel
|
| 108 |
Optimal Stopping and Gittins' Indices for Piecewise DeterministicEvolution Processes
|
Max-Olivier Hongler
|
|
2001
|
|
3 |
p. 235-248
14 p.
|
artikel
|
| 109 |
Optimal Stopping and Gittins' Indices for Piecewise Deterministic Evolution Processes
|
Hongler, Max-Olivier
|
|
2001
|
|
3 |
p. 235-248
|
artikel
|
| 110 |
Ordinal Optimization and Quantification of Heuristic Designs
|
Shen, Zhen
|
|
2009
|
|
3 |
p. 317-345
|
artikel
|
| 111 |
Parallel Rollout for Online Solution of Partially Observable Markov Decision Processes
|
Chang, Hyeong Soo
|
|
2004
|
|
3 |
p. 309-341
|
artikel
|
| 112 |
Partially Observable Markov Decision Process Approximations for Adaptive Sensing
|
Chong, Edwin K. P.
|
|
2009
|
|
3 |
p. 377-422
|
artikel
|
| 113 |
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
|
Fabre, Eric
|
|
2007
|
|
3 |
p. 355-403
|
artikel
|
| 114 |
Performance Analysis of a Block-Structured Discrete-Time Retrial Queue with State-Dependent Arrivals
|
Artalejo, Jesus R.
|
|
2009
|
|
3 |
p. 325-347
|
artikel
|
| 115 |
Performance optimization for a class of generalized stochastic Petri nets
|
Li, Ran
|
|
2014
|
|
3 |
p. 387-417
|
artikel
|
| 116 |
Perturbation Analysis of Multiclass Stochastic Fluid Models
|
Sun, Gang
|
|
2004
|
|
3 |
p. 267-307
|
artikel
|
| 117 |
Perturbation analysis of waiting times in the G/G/1 queue
|
Leahu, Haralambie
|
|
2012
|
|
3 |
p. 277-305
|
artikel
|
| 118 |
Predictive control of Timed Event Graphs with specifications defined by P-time Event Graphs
|
Declerck, Philippe
|
|
2012
|
|
3 |
p. 261-273
|
artikel
|
| 119 |
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
|
Lefebvre, Dimitri
|
|
|
|
3 |
p. 413-440
|
artikel
|
| 120 |
Refinements of behavioural abstractions for the supervisory control of hybrid systems
|
Yang, Jung-Min
|
|
|
|
3 |
p. 533-560
|
artikel
|
| 121 |
Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions
|
Xenofon D. Koutsoukos
|
|
2003
|
|
3 |
p. 203-243
41 p.
|
artikel
|
| 122 |
Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions
|
Koutsoukos, Xenofon D.
|
|
2003
|
|
3 |
p. 203-243
|
artikel
|
| 123 |
Sample Path Analysis for Continuous Tandem Production Lines
|
Leyuan Shi
|
|
1999
|
|
3 |
p. 211-239
29 p.
|
artikel
|
| 124 |
Sample Path Analysis for Continuous Tandem Production Lines
|
Shi, Leyuan
|
|
1999
|
|
3 |
p. 211-239
|
artikel
|
| 125 |
Setup Scheduling of Manufacturing Systems as the Art ofJuggling
|
Eugene Khmelnitsky
|
|
1999
|
|
3 |
p. 241-260
20 p.
|
artikel
|
| 126 |
Setup Scheduling of Manufacturing Systems as the Art of Juggling
|
Khmelnitsky, Eugene
|
|
1999
|
|
3 |
p. 241-260
|
artikel
|
| 127 |
Simulating Markovian stochastic Petri Nets by difference equations with interval parameters
|
Hiraishi, Kunihiko
|
|
2014
|
|
3 |
p. 365-386
|
artikel
|
| 128 |
Simulation Budget Allocation for Further Enhancing theEfficiency of Ordinal Optimization
|
Chun-Hung Chen
|
|
2000
|
|
3 |
p. 251-270
20 p.
|
artikel
|
| 129 |
Simulation Budget Allocation for Further Enhancing the Efficiency of Ordinal Optimization
|
Chen, Chun-Hung
|
|
2000
|
|
3 |
p. 251-270
|
artikel
|
| 130 |
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
|
Prabhakar, Pavithra
|
|
2017
|
|
3 |
p. 349-374
|
artikel
|
| 131 |
Smoothed Perturbation Analysis for Stationary Single-ServerQueues with Multiple Customer Classes
|
Naoto Miyoshi
|
|
1997
|
|
3 |
p. 275-293
19 p.
|
artikel
|
| 132 |
Smoothed Perturbation Analysis for Stationary Single-Server Queues with Multiple Customer Classes
|
Miyoshi, Naoto
|
|
1997
|
|
3 |
p. 275-293
|
artikel
|
| 133 |
Some insights of using common random numbers in selection procedures
|
Chen, E. Jack
|
|
2012
|
|
3 |
p. 241-259
|
artikel
|
| 134 |
Special issue on Modeling of Reactive Systems
|
Martinez, Claude
|
|
2011
|
|
3 |
p. 305-306
|
artikel
|
| 135 |
Submodular optimization problems and greedy strategies: A survey
|
Liu, Yajing
|
|
|
|
3 |
p. 381-412
|
artikel
|
| 136 |
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
|
Ru, Yu
|
|
2012
|
|
3 |
p. 275-307
|
artikel
|
| 137 |
Synthesis of Supervisors Using Learning Algorithm of RegularLanguages
|
Kunihiko Hiraishi
|
|
2001
|
|
3 |
p. 211-234
24 p.
|
artikel
|
| 138 |
Synthesis of Supervisors Using Learning Algorithm of Regular Languages
|
Hiraishi, Kunihiko
|
|
2001
|
|
3 |
p. 211-234
|
artikel
|
| 139 |
The Equivalence between Ordinal Optimization in Deterministic Complex Problems and in Stochastic Simulation Problems
|
Ho, Yu-Chi
|
|
2006
|
|
3 |
p. 405-411
|
artikel
|
| 140 |
The evaluation of pedestrians’ behavior using M/G/C/C analytical, weighted distance and real distance simulation models
|
Khalid, Ruzelan
|
|
2015
|
|
3 |
p. 439-476
|
artikel
|
| 141 |
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling
|
Ibrahim, Michael
|
|
|
|
3 |
p. 393-409
|
artikel
|
| 142 |
Throughput-Optimal Sequences for Cyclically Operated Plants
|
Mayer, Eckart
|
|
2008
|
|
3 |
p. 355-383
|
artikel
|
| 143 |
Tight performance bounds in the worst-case analysis of feed-forward networks
|
Bouillard, Anne
|
|
2015
|
|
3 |
p. 383-411
|
artikel
|
| 144 |
Time-optimal control of large-scale systems of systems using compositional optimization
|
Hagebring, Fredrik
|
|
|
|
3 |
p. 411-443
|
artikel
|
| 145 |
Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming
|
Kobetski, Avenir
|
|
2009
|
|
3 |
p. 287-315
|
artikel
|
| 146 |
Trellis Processes : A Compact Representation for Runs of Concurrent Systems
|
Fabre, Eric
|
|
2007
|
|
3 |
p. 267-306
|
artikel
|
| 147 |
Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems
|
X.-R. Cao
|
|
2002
|
|
3 |
p. 253-264
12 p.
|
artikel
|
| 148 |
Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems
|
Cao, X.-R.
|
|
2002
|
|
3 |
p. 253-264
|
artikel
|
| 149 |
Variational Bounds and Sensitivity Analysis of TrafficProcesses in Continuous Flow Models
|
Y. Wardi
|
|
2001
|
|
3 |
p. 249-282
34 p.
|
artikel
|
| 150 |
Variational Bounds and Sensitivity Analysis of Traffic Processes in Continuous Flow Models
|
Wardi, Y.
|
|
2001
|
|
3 |
p. 249-282
|
artikel
|
| 151 |
Worst-case end-to-end delays evaluation for SpaceWire networks
|
Ferrandiz, Thomas
|
|
2011
|
|
3 |
p. 339-357
|
artikel
|
Tijdschrift beschrijving