| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems
|
Thorsley, David
|
|
2007
|
|
4 |
p. 531-583
|
artikel
|
| 2 |
Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems
|
Thorsley, David
|
|
2007
|
|
4 |
p. 585-586
|
artikel
|
| 3 |
A First Step Towards Adaptive Control for Linear Systemsin Max Algebra
|
E. Menguy
|
|
2000
|
|
4 |
p. 347-367
21 p.
|
artikel
|
| 4 |
A First Step Towards Adaptive Control for Linear Systems in Max Algebra
|
Menguy, E.
|
|
2000
|
|
4 |
p. 347-367
|
artikel
|
| 5 |
Aggregation in Hierarchical Discrete-Event Systems
|
A. A. Al-Falou
|
|
2003
|
|
4 |
p. 321-340
20 p.
|
artikel
|
| 6 |
Aggregation in Hierarchical Discrete-Event Systems
|
Al-Falou, A. A.
|
|
2003
|
|
4 |
p. 321-340
|
artikel
|
| 7 |
A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms
|
Alves, Lucas V. R.
|
|
|
|
4 |
p. 373-394
|
artikel
|
| 8 |
An algorithm to compute the minimal siphons in S4PR nets
|
Cano, Elia Esther
|
|
2012
|
|
4 |
p. 403-428
|
artikel
|
| 9 |
Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max,+) algebra
|
Boussahel, W. M.
|
|
2015
|
|
4 |
p. 561-581
|
artikel
|
| 10 |
An Equivalent CTL Formulation for Condition Sequences
|
Ashley, Jeffrey
|
|
2005
|
|
4 |
p. 333-348
|
artikel
|
| 11 |
A Petri net based approach for multi-robot path planning
|
Kloetzer, Marius
|
|
2013
|
|
4 |
p. 417-445
|
artikel
|
| 12 |
A poisson equation for the risk-sensitive average cost in semi-markov chains
|
Cavazos-Cadena, Rolando
|
|
2015
|
|
4 |
p. 633-656
|
artikel
|
| 13 |
Application of supervisory control theory to theme park vehicles
|
Forschelen, Stefan T. J.
|
|
2012
|
|
4 |
p. 511-540
|
artikel
|
| 14 |
A pseudometric in supervisory control of probabilistic discrete event systems
|
Pantelic, Vera
|
|
2012
|
|
4 |
p. 479-510
|
artikel
|
| 15 |
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
|
Joon Sung Hong
|
|
1997
|
|
4 |
p. 355-375
21 p.
|
artikel
|
| 16 |
A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development
|
Hong, Joon Sung
|
|
1997
|
|
4 |
p. 355-375
|
artikel
|
| 17 |
Assigning multiple job types to parallel specialized servers
|
Laan, Dinard van der
|
|
2018
|
|
4 |
p. 471-507
|
artikel
|
| 18 |
A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems
|
Khoumsi, Ahmed
|
|
2005
|
|
4 |
p. 397-431
|
artikel
|
| 19 |
A Two-Queue Polling Model with Two Priority Levels in the First Queue
|
Boon, Marko A. A.
|
|
2009
|
|
4 |
p. 511-536
|
artikel
|
| 20 |
Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions
|
Bouillard, Anne
|
|
2008
|
|
4 |
p. 473-498
|
artikel
|
| 21 |
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics
|
Triska, Lukas
|
|
|
|
4 |
p. 583-607
|
artikel
|
| 22 |
Bisimulation, the Supervisory Control Problem and StrongModel Matching for Finite State Machines
|
George Barrett
|
|
1998
|
|
4 |
p. 377-429
53 p.
|
artikel
|
| 23 |
Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines
|
Barrett, George
|
|
1998
|
|
4 |
p. 377-429
|
artikel
|
| 24 |
Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem
|
Vahidipour, S. Mehdi
|
|
2017
|
|
4 |
p. 609-640
|
artikel
|
| 25 |
Comparing the notions of opacity for discrete-event systems
|
Balun, Jiří
|
|
|
|
4 |
p. 553-582
|
artikel
|
| 26 |
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
|
Flordal, Hugo
|
|
2007
|
|
4 |
p. 475-504
|
artikel
|
| 27 |
Compromise approach for predictive control of Timed Event Graphs with specifications defined by P-time Event Graphs
|
Declerck, Philippe
|
|
2016
|
|
4 |
p. 611-632
|
artikel
|
| 28 |
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
|
Komenda, Jan
|
|
2017
|
|
4 |
p. 585-608
|
artikel
|
| 29 |
Computing observers from observation policies in discrete-event systems
|
Sears, David
|
|
2018
|
|
4 |
p. 509-537
|
artikel
|
| 30 |
Concurrent Secrets
|
Badouel, E.
|
|
2007
|
|
4 |
p. 425-446
|
artikel
|
| 31 |
Conflict-preserving abstraction of discrete event systems using annotated automata
|
Ware, Simon
|
|
2012
|
|
4 |
p. 451-477
|
artikel
|
| 32 |
Contributing Authors
|
|
|
2005
|
|
4 |
p. 449-453
|
artikel
|
| 33 |
Contributing Authors
|
|
|
2006
|
|
4 |
p. 555-557
|
artikel
|
| 34 |
Control of Safe Ordinary Petri Nets Using Unfolding
|
Giua, Alessandro
|
|
2005
|
|
4 |
p. 349-373
|
artikel
|
| 35 |
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets
|
Camilli, Matteo
|
|
|
|
4 |
p. 641
|
artikel
|
| 36 |
Correction to: Local and global robustness with q-step delay for max-plus linear systems
|
Yin, Yingxuan
|
|
|
|
4 |
p. 507
|
artikel
|
| 37 |
Correction to “Synchronizing sequences on a class of unbounded systems using synchronized Petri nets”
|
Wu, Changshun
|
|
|
|
4 |
p. 521-526
|
artikel
|
| 38 |
Correction to: Transformational supervisor synthesis for evolving systems
|
Thuijsman, Sander
|
|
|
|
4 |
p. 509-513
|
artikel
|
| 39 |
Counter approach for the estimation of optimal sequences in Partially Observable Untimed Petri Nets
|
Declerck, P.
|
|
|
|
4 |
p. 489-512
|
artikel
|
| 40 |
Cycle time of a P-time Event Graph with affine-interdependent residence durations
|
Declerck, Philippe
|
|
2013
|
|
4 |
p. 523-540
|
artikel
|
| 41 |
Derivative Estimation for Buffer Capacity of Continuous Transfer Lines Subject to Operation-Dependent Failures
|
Michael Fu
|
|
2002
|
|
4 |
p. 447-469
23 p.
|
artikel
|
| 42 |
Derivative Estimation for Buffer Capacity of Continuous Transfer Lines Subject to Operation-Dependent Failures
|
Fu, Michael
|
|
2002
|
|
4 |
p. 447-469
|
artikel
|
| 43 |
Diagnosis and Degradation Control for Probabilistic Systems
|
Bertrand, Nathalie
|
|
|
|
4 |
p. 695-723
|
artikel
|
| 44 |
Diagnosis from scenarios
|
Hélouët, Loïc
|
|
2013
|
|
4 |
p. 353-415
|
artikel
|
| 45 |
Discrete Events in Power Systems
|
Lester H. Fink
|
|
1999
|
|
4 |
p. 319-330
12 p.
|
artikel
|
| 46 |
Discrete Events in Power Systems
|
Fink, Lester H.
|
|
1999
|
|
4 |
p. 319-330
|
artikel
|
| 47 |
Discrete Semantics for Hybrid Automata
|
Casagrande, Alberto
|
|
2009
|
|
4 |
p. 471-493
|
artikel
|
| 48 |
Dynamics of Transmission Provision in a Competitive PowerIndustry
|
Chien-Ning Yu
|
|
1999
|
|
4 |
p. 351-388
38 p.
|
artikel
|
| 49 |
Dynamics of Transmission Provision in a Competitive Power Industry
|
Yu, Chien-Ning
|
|
1999
|
|
4 |
p. 351-388
|
artikel
|
| 50 |
Editorial
|
|
|
2005
|
|
4 |
p. 329
|
artikel
|
| 51 |
Eigenproblems of latin squares in bipartite (min,max,+)-systems
|
Subiono, ᅟ
|
|
2014
|
|
4 |
p. 657-668
|
artikel
|
| 52 |
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
|
Clavijo, Leonardo Bermeo
|
|
2017
|
|
4 |
p. 701-739
|
artikel
|
| 53 |
Enforcement and validation (at runtime) of various notions of opacity
|
Falcone, Yliès
|
|
2014
|
|
4 |
p. 531-570
|
artikel
|
| 54 |
Erratum to: Diagnosis of discrete event systems using decentralized architectures
|
Wang, Yin
|
|
2013
|
|
4 |
p. 601-603
|
artikel
|
| 55 |
Exact and approximate approaches to the identification of stochastic max-plus-linear systems
|
Farahani, Samira S.
|
|
2013
|
|
4 |
p. 447-471
|
artikel
|
| 56 |
Failure detection and localization for timed event graphs in (max,+)-algebra
|
Le Corronc, Euriell
|
|
|
|
4 |
p. 513-552
|
artikel
|
| 57 |
Farewell and Renewal
|
|
|
2005
|
|
4 |
p. 327-328
|
artikel
|
| 58 |
Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
|
Ru, Yu
|
|
2009
|
|
4 |
p. 551-575
|
artikel
|
| 59 |
Finite approximation of the first passage models for discrete-time Markov decision processes with varying discount factors
|
Wu, Xiao
|
|
2015
|
|
4 |
p. 669-683
|
artikel
|
| 60 |
Finite horizon continuous-time Markov decision processes with mean and variance criteria
|
Huang, Yonghui
|
|
2018
|
|
4 |
p. 539-564
|
artikel
|
| 61 |
Foreword
|
Marija Ilic
|
|
1999
|
|
4 |
p. 295-296
2 p.
|
artikel
|
| 62 |
Foreword
|
Ilic, Marija
|
|
1999
|
|
4 |
p. 295-296
|
artikel
|
| 63 |
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
|
Camilli, Matteo
|
|
|
|
4 |
p. 609-657
|
artikel
|
| 64 |
Graph process specifications for hybrid networked systems
|
Twu, Philip Y.
|
|
2012
|
|
4 |
p. 541-577
|
artikel
|
| 65 |
Guest Editorial
|
Altman, Eitan
|
|
2008
|
|
4 |
p. 445-446
|
artikel
|
| 66 |
Guest editorial: hybrid systems, part I
|
Wardi, Yorai
|
|
2011
|
|
4 |
p. 425-426
|
artikel
|
| 67 |
Hedging Point for Non-Markovian Piecewise DeterministicProduction Processes
|
Philippe Ciprut
|
|
1998
|
|
4 |
p. 365-375
11 p.
|
artikel
|
| 68 |
Hedging Point for Non-Markovian Piecewise Deterministic Production Processes
|
Ciprut, Philippe
|
|
1998
|
|
4 |
p. 365-375
|
artikel
|
| 69 |
Hybrid Discrete and Continuous Control for Power Systems
|
W. H. Esselman
|
|
1999
|
|
4 |
p. 297-318
22 p.
|
artikel
|
| 70 |
Hybrid Discrete and Continuous Control for Power Systems
|
Esselman, W. H.
|
|
1999
|
|
4 |
p. 297-318
|
artikel
|
| 71 |
Identification of Petri Nets from Knowledge of Their Language
|
Cabasino, Maria Paola
|
|
2007
|
|
4 |
p. 447-474
|
artikel
|
| 72 |
Integrated Resource Scheduling and Bidding in the DeregulatedElectric Power Market: New Challenges
|
Xiaohong Guan
|
|
1999
|
|
4 |
p. 331-350
20 p.
|
artikel
|
| 73 |
Integrated Resource Scheduling and Bidding in the Deregulated Electric Power Market: New Challenges
|
Guan, Xiaohong
|
|
1999
|
|
4 |
p. 331-350
|
artikel
|
| 74 |
Integrating discrete controller synthesis into a reactive programming language compiler
|
Delaval, Gwenaël
|
|
2013
|
|
4 |
p. 385-418
|
artikel
|
| 75 |
Introduction to WODES2004 Special Issue
|
|
|
2005
|
|
4 |
p. 331-332
|
artikel
|
| 76 |
Large Deviations for Large Capacity Loss Networks withFixed Routing and Polyhedral Admission Sets
|
Cheng-Shang Chang
|
|
1997
|
|
4 |
p. 391-418
28 p.
|
artikel
|
| 77 |
Large Deviations for Large Capacity Loss Networks with Fixed Routing and Polyhedral Admission Sets
|
Chang, Cheng-Shang
|
|
1997
|
|
4 |
p. 391-418
|
artikel
|
| 78 |
Markovian dynamics of concurrent systems
|
Abbes, Samy
|
|
|
|
4 |
p. 527-566
|
artikel
|
| 79 |
Message Batching in Wireless Sensor Networks—A Perturbation Analysis Approach
|
Ning, Xu
|
|
2009
|
|
4 |
p. 409-439
|
artikel
|
| 80 |
Mixed Nondeterministic-Probabilistic Automata
|
Benveniste, Albert
|
|
|
|
4 |
p. 455-505
|
artikel
|
| 81 |
Model approximation for batch flow shop scheduling with fixed batch sizes
|
Weyerman, W. Samuel
|
|
2014
|
|
4 |
p. 497-529
|
artikel
|
| 82 |
Model-checking precision agriculture logistics: the case of the differential harvest
|
Saddem-yagoubi, Rim
|
|
|
|
4 |
p. 579-604
|
artikel
|
| 83 |
Model decomposition of timed event graphs under periodic partial synchronization: application to output reference control
|
Trunk, Johannes
|
|
|
|
4 |
p. 605-634
|
artikel
|
| 84 |
Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphs
|
van den Boom, Ton J. J.
|
|
|
|
4 |
p. 635-669
|
artikel
|
| 85 |
Monotonicity Properties for Multi-Class Queueing Systems
|
Verloop, Ina Maria
|
|
2009
|
|
4 |
p. 473-509
|
artikel
|
| 86 |
Multi-level control for multiple mobile robot systems
|
Roszkowska, Elzbieta
|
|
|
|
4 |
p. 425-453
|
artikel
|
| 87 |
Multitasking Supervisory Control of Discrete-Event Systems
|
Queiroz, Max H. de
|
|
2005
|
|
4 |
p. 375-395
|
artikel
|
| 88 |
Near-Optimal Online Control of Dynamic Discrete-Event Systems
|
Grigorov, Lenko
|
|
2006
|
|
4 |
p. 419-449
|
artikel
|
| 89 |
Networked conflicting timed event graphs representation in (Max,+) algebra
|
Addad, Boussad
|
|
2012
|
|
4 |
p. 429-449
|
artikel
|
| 90 |
New Bounds for Timed Event Graphs Inspired by Stochastic Majorization Results
|
L. Truffet
|
|
2004
|
|
4 |
p. 355-380
26 p.
|
artikel
|
| 91 |
New Bounds for Timed Event Graphs Inspired by Stochastic Majorization Results
|
Truffet, L.
|
|
2004
|
|
4 |
p. 355-380
|
artikel
|
| 92 |
New Linear Program Performance Bounds for Closed QueueingNetworks
|
J. R. Morrison
|
|
2001
|
|
4 |
p. 291-317
27 p.
|
artikel
|
| 93 |
New Linear Program Performance Bounds for Closed Queueing Networks
|
Morrison, J. R.
|
|
2001
|
|
4 |
p. 291-317
|
artikel
|
| 94 |
On an Optimization Problem in Sensor Selection
|
Rami Debouk
|
|
2002
|
|
4 |
p. 417-445
29 p.
|
artikel
|
| 95 |
On an Optimization Problem in Sensor Selection*
|
Debouk, Rami
|
|
2002
|
|
4 |
p. 417-445
|
artikel
|
| 96 |
On fluidization of discrete event models: observation and control of continuous Petri nets
|
Silva, Manuel
|
|
2011
|
|
4 |
p. 427-497
|
artikel
|
| 97 |
On-line compositional controller synthesis for AGV
|
Girault, Johan
|
|
2015
|
|
4 |
p. 583-610
|
artikel
|
| 98 |
On steady state of continuous min-plus systems
|
Boimond, Jean-Louis
|
|
2013
|
|
4 |
p. 581-610
|
artikel
|
| 99 |
On the Optimality of Randomized Deadlock Avoidance Policies
|
Spyros A. Reveliotis
|
|
2003
|
|
4 |
p. 303-320
18 p.
|
artikel
|
| 100 |
On the Optimality of Randomized Deadlock Avoidance Policies
|
Reveliotis, Spyros A.
|
|
2003
|
|
4 |
p. 303-320
|
artikel
|
| 101 |
On tolerance of discrete systems with respect to transition perturbations
|
Meira-Góes, Rômulo
|
|
|
|
4 |
p. 395-424
|
artikel
|
| 102 |
Operational semantics of a domain specific language for real time musician–computer interaction
|
Echeveste, José
|
|
2013
|
|
4 |
p. 343-383
|
artikel
|
| 103 |
Optimal Allocation Sequences of Two Processes Sharing aResource
|
Bruno Gaujal
|
|
1997
|
|
4 |
p. 327-354
28 p.
|
artikel
|
| 104 |
Optimal Allocation Sequences of Two Processes Sharing a Resource
|
Gaujal, Bruno
|
|
1997
|
|
4 |
p. 327-354
|
artikel
|
| 105 |
Optimal Control of Switching Surfaces in Hybrid Dynamical Systems
|
Boccadoro, M.
|
|
2005
|
|
4 |
p. 433-448
|
artikel
|
| 106 |
Optimal Control of Two-Stage Discrete Event Systems with Real-Time Constraints
|
Mao, Jianfeng
|
|
2007
|
|
4 |
p. 505-529
|
artikel
|
| 107 |
Optimal energy-efficient policies for data centers through sensitivity-based optimization
|
Ma, Jing-Yu
|
|
|
|
4 |
p. 567-606
|
artikel
|
| 108 |
Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints
|
Reveliotis, Spyros
|
|
2011
|
|
4 |
p. 499-518
|
artikel
|
| 109 |
Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations
|
Malik, Robi
|
|
|
|
4 |
p. 659-691
|
artikel
|
| 110 |
Optimal scheduling of parallel queues using stochastic flow models
|
Kebarighotbi, Ali
|
|
2011
|
|
4 |
p. 547-576
|
artikel
|
| 111 |
Ordinal Hill Climbing Algorithms for Discrete ManufacturingProcess Design Optimization Problems
|
Kelly A. Sullivan
|
|
2000
|
|
4 |
p. 307-324
18 p.
|
artikel
|
| 112 |
Ordinal Hill Climbing Algorithms for Discrete Manufacturing Process Design Optimization Problems
|
Sullivan, Kelly A.
|
|
2000
|
|
4 |
p. 307-324
|
artikel
|
| 113 |
Performance of the MAP/G/1 Queue Under the Dyadic Control of Workload and Server Idleness
|
Lee, Ho Woo
|
|
2007
|
|
4 |
p. 537-562
|
artikel
|
| 114 |
Perturbation Analysis for Stochastic Fluid Queueing Systems
|
Yong Liu
|
|
2002
|
|
4 |
p. 391-416
26 p.
|
artikel
|
| 115 |
Perturbation Analysis for Stochastic Fluid Queueing Systems
|
Liu, Yong
|
|
2002
|
|
4 |
p. 391-416
|
artikel
|
| 116 |
Power Algorithms for (\max,+)- and Bipartite(\min,\max,+)-Systems
|
Subiono
|
|
2000
|
|
4 |
p. 369-389
21 p.
|
artikel
|
| 117 |
Power Algorithms for (max,+)- and Bipartite (min,max,+)-Systems
|
Subiono,
|
|
2000
|
|
4 |
p. 369-389
|
artikel
|
| 118 |
Predictability of fuzzy discrete event systems
|
Benmessahel, Bilal
|
|
2017
|
|
4 |
p. 641-673
|
artikel
|
| 119 |
Privacy preserving minimal observability for composite transactional services
|
Biswas, Debmalya
|
|
2014
|
|
4 |
p. 611-646
|
artikel
|
| 120 |
Prognosis of ω-Languages for the Diagnosis of *-Languages: A Topological Perspective
|
Bauer, Andreas
|
|
2009
|
|
4 |
p. 451-470
|
artikel
|
| 121 |
ProgramID
|
Yu-Chi Ho
|
|
2004
|
|
4 |
p. 381-393
13 p.
|
artikel
|
| 122 |
ProgramID
|
Ho, Yu-Chi
|
|
2004
|
|
4 |
p. 381-393
|
artikel
|
| 123 |
Qualitative Diagnosis of Condition Systems
|
Jeffrey Ashley
|
|
2004
|
|
4 |
p. 395-412
18 p.
|
artikel
|
| 124 |
Qualitative Diagnosis of Condition Systems
|
Ashley, Jeffrey
|
|
2004
|
|
4 |
p. 395-412
|
artikel
|
| 125 |
Quantifying Heuristics in the Ordinal Optimization Framework
|
Shen, Zhen
|
|
2009
|
|
4 |
p. 441-471
|
artikel
|
| 126 |
Recent Advances in Hierarchical Reinforcement Learning
|
Andrew G. Barto
|
|
2003
|
|
4 |
p. 341-379
39 p.
|
artikel
|
| 127 |
Recent Advances in Hierarchical Reinforcement Learning
|
Barto, Andrew G.
|
|
2003
|
|
4 |
p. 341-379
|
artikel
|
| 128 |
Reduction of Timed Hybrid Systems
|
S. Di Gennaro
|
|
1998
|
|
4 |
p. 343-351
9 p.
|
artikel
|
| 129 |
Reduction of Timed Hybrid Systems
|
Gennaro, S. Di
|
|
1998
|
|
4 |
p. 343-351
|
artikel
|
| 130 |
Resource-aware networked control systems under temporal logic specifications
|
Hashimoto, Kazumune
|
|
|
|
4 |
p. 473-499
|
artikel
|
| 131 |
Risk-sensitive continuous-time Markov decision processes with unbounded rates and Borel spaces
|
Guo, Xianping
|
|
|
|
4 |
p. 445-471
|
artikel
|
| 132 |
Safe Supervisory Control Under Observability Failure
|
Sánchez, Antonia M.
|
|
2006
|
|
4 |
p. 493-525
|
artikel
|
| 133 |
Sampled-data supervisory control
|
Leduc, Ryan J.
|
|
2013
|
|
4 |
p. 541-579
|
artikel
|
| 134 |
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control
|
Claessen, Koen
|
|
2009
|
|
4 |
p. 495-524
|
artikel
|
| 135 |
Scheduling Under Common Due Date, A Single Resource andPrecedence ConstraintsA Dynamic Approach
|
Konstantin Kogan
|
|
1998
|
|
4 |
p. 353-364
12 p.
|
artikel
|
| 136 |
Scheduling Under Common Due Date, A Single Resource and Precedence Constraints—A Dynamic Approach
|
Kogan, Konstantin
|
|
1998
|
|
4 |
p. 353-364
|
artikel
|
| 137 |
SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
|
Wang, Xi
|
|
|
|
4 |
p. 501-520
|
artikel
|
| 138 |
Selection and order statistics from correlated normal random variables
|
Chen, E. Jack
|
|
2014
|
|
4 |
p. 659-668
|
artikel
|
| 139 |
Sensitivity analysis of ranked data: from order statistics to quantiles
|
Volk-Makarewicz, Warren
|
|
2014
|
|
4 |
p. 453-495
|
artikel
|
| 140 |
Shrinking of Time Petri nets
|
Lime, Didier
|
|
2013
|
|
4 |
p. 419-438
|
artikel
|
| 141 |
Solvability of Centralized Supervisory Control Under Partial Observation
|
Yoo, Tae-Sic
|
|
2006
|
|
4 |
p. 527-553
|
artikel
|
| 142 |
Special issue on recent trends in discrete event systems
|
Raisch, Jörg
|
|
2012
|
|
4 |
p. 381-382
|
artikel
|
| 143 |
Special Issue on WODES’06
|
Lafortune, Stéphane
|
|
2007
|
|
4 |
p. 423-424
|
artikel
|
| 144 |
Special Issue on WODES’08
|
Lennartson, Bengt
|
|
2009
|
|
4 |
p. 449-450
|
artikel
|
| 145 |
Special section on modeling of reactive systems
|
Craye, Étienne
|
|
2013
|
|
4 |
p. 341-342
|
artikel
|
| 146 |
Stability of Parallel Queueing Systems with Coupled Service Rates
|
Borst, Sem
|
|
2007
|
|
4 |
p. 447-472
|
artikel
|
| 147 |
Stabilization of Finite Automata with Application to Hybrid Systems Control
|
Kobayashi, Koichi
|
|
2011
|
|
4 |
p. 519-545
|
artikel
|
| 148 |
State-based supervisory control with restrictions on the supervisor realization
|
Leite, Pedro A. C. F.
|
|
|
|
4 |
p. 671-693
|
artikel
|
| 149 |
State-dependent Control of a Single Stage Hybrid System with Poisson Arrivals
|
Gokbayrak, Kagan
|
|
2011
|
|
4 |
p. 577-592
|
artikel
|
| 150 |
State Observation and Diagnosis of Discrete-Event SystemsDescribed by Stochastic Automata
|
J. Lunze
|
|
2001
|
|
4 |
p. 319-369
51 p.
|
artikel
|
| 151 |
State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata
|
Lunze, J.
|
|
2001
|
|
4 |
p. 319-369
|
artikel
|
| 152 |
Structure and dynamics of acyclic networks
|
Veliz-Cuba, Alan
|
|
2013
|
|
4 |
p. 647-658
|
artikel
|
| 153 |
Supervision Based on Place Invariants: A Survey
|
Iordache, M. V.
|
|
2006
|
|
4 |
p. 451-492
|
artikel
|
| 154 |
Supervisory Control of (max,+) Automata: A Behavioral Approach
|
Komenda, Jan
|
|
2009
|
|
4 |
p. 525-549
|
artikel
|
| 155 |
Switched-mode systems: gradient-descent algorithms with Armijo step sizes
|
Wardi, Y.
|
|
2014
|
|
4 |
p. 571-599
|
artikel
|
| 156 |
Synthesis of covert actuator attackers for free
|
Lin, Liyong
|
|
|
|
4 |
p. 561-577
|
artikel
|
| 157 |
Synthesis of Discrete-Event Controllers Based on the SignalEnvironment
|
Hervé Marchand
|
|
2000
|
|
4 |
p. 325-346
22 p.
|
artikel
|
| 158 |
Synthesis of Discrete-Event Controllers Based on the Signal Environment
|
Marchand, Hervé
|
|
2000
|
|
4 |
p. 325-346
|
artikel
|
| 159 |
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
|
Matsui, Shoma
|
|
|
|
4 |
p. 573-610
|
artikel
|
| 160 |
Tail Asymptotics for Discrete Event Systems
|
Lelarge, Marc
|
|
2008
|
|
4 |
p. 563-584
|
artikel
|
| 161 |
The mean-field computation in a supermarket model with server multiple vacations
|
Li, Quan-Lin
|
|
2013
|
|
4 |
p. 473-522
|
artikel
|
| 162 |
The risk probability criterion for discounted continuous-time Markov decision processes
|
Huo, Haifeng
|
|
2017
|
|
4 |
p. 675-699
|
artikel
|
| 163 |
Towards a (Max,+) Control Theory for Public TransportationNetworks
|
B. Heidergott
|
|
2001
|
|
4 |
p. 371-398
28 p.
|
artikel
|
| 164 |
Towards a (Max,+) Control Theory for Public Transportation Networks
|
Heidergott, B.
|
|
2001
|
|
4 |
p. 371-398
|
artikel
|
| 165 |
Using Augmented Infinitesimal Perturbation Analysis forCapacity Planning in Intree ATM Networks
|
Charles A. Brooks
|
|
1997
|
|
4 |
p. 377-390
14 p.
|
artikel
|
| 166 |
Using Augmented Infinitesimal Perturbation Analysis for Capacity Planning in Intree ATM Networks
|
Brooks, Charles A.
|
|
1997
|
|
4 |
p. 377-390
|
artikel
|
| 167 |
Using Subobservers to Synthesize Opacity-Enforcing Supervisors
|
Moulton, Richard Hugh
|
|
|
|
4 |
p. 611-640
|
artikel
|
| 168 |
What topology tells us about diagnosability in partial order semantics
|
Haar, Stefan
|
|
2011
|
|
4 |
p. 383-402
|
artikel
|
| 169 |
Zero-Automatic Networks
|
Dao-Thi, Thu-Ha
|
|
2008
|
|
4 |
p. 499-536
|
artikel
|
| 170 |
Zero-sum semi-Markov games with state-action-dependent discount factors
|
Yu, Zhihui
|
|
|
|
4 |
p. 545-571
|
artikel
|
Tijdschrift beschrijving