Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             61 results found
no title author magazine year volume issue page(s) type
1 Abstraction-based Synthesis of Timed Supervisors for Time-Weighted Systems Su, Rong
 2012
 45 29 p. 128-134
7 p.
 article
2 Accuracy vs. Complexity: the stochastic bound approach Salaht, F. Ait
 2012
 45 29 p. 343-348
6 p.
 article
3 A Constraint Programming Approach for Generating Firing Sequences in Timed Petri Nets With Token Identification HUANG, Yongliang
 2012
 45 29 p. 149-156
8 p.
 article
4 Active Identification of Petri Net Models Basile, F.
 2012
 45 29 p. 278-285
8 p.
 article
5 A Decision Support System for Risk Evaluation of HAZMAT Transportation in Motorways Fanti, Maria Pia
 2012
 45 29 p. 98-103
6 p.
 article
6 A Hierarchical Control Architecture for Sequential Behaviours Baier, Christine
 2012
 45 29 p. 259-264
6 p.
 article
7 Algebraic synthesis of logical controllers despite inconsistencies in specifications Roussel, Jean-Marc
 2012
 45 29 p. 307-314
8 p.
 article
8 A model of distributed key generation for industrial control systems Kilinc, Gorkem
 2012
 45 29 p. 356-363
8 p.
 article
9 An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis Mohajerani, Sahar
 2012
 45 29 p. 239-244
6 p.
 article
10 Analysis of partially observed recursive tile systems Chédor, Sébastien
 2012
 45 29 p. 265-271
7 p.
 article
11 A non-linear set-membership approach for the control of Discrete Event Systems Lhommeau, M.
 2012
 45 29 p. 73-78
6 p.
 article
12 Application of Supervisory Control Theory to Guide Cellular Dynamics Baldissera, Fabio L.
 2012
 45 29 p. 384-389
6 p.
 article
13 Approximate Event-Based Optimization for Evacuation Jia, Qing-Shan
 2012
 45 29 p. 372-377
6 p.
 article
14 Bisimilarity Enforcing Supervisory Control of Nondeterministic Systems under Event and State Observations Kimura, Katsuyuki
 2012
 45 29 p. 169-174
6 p.
 article
15 Bounded Sensor Failure Tolerant Supervisory Control Rohloff, Kurt
 2012
 45 29 p. 272-277
6 p.
 article
16 Coarsest Controllability-Preserving Plant Minimization Markovski, Jasen
 2012
 45 29 p. 251-258
8 p.
 article
17 Compositions of (max,+) automata Lahaye, Sébastien
 2012
 45 29 p. 61-66
6 p.
 article
18 Computation of Supervisors for Reconfigurable Machine Tools Schmidt, Klaus Werner
 2012
 45 29 p. 227-232
6 p.
 article
19 Control of continuous Petri nets using ON/OFF based method Wang, Liewei
 2012
 45 29 p. 47-53
7 p.
 article
20 Decentralized Control of Product (max+)-automata using Coinduction Komenda, Jan
 2012
 45 29 p. 122-127
6 p.
 article
21 Decentralized K-Diagnosability of Petri Nets Basile, F.
 2012
 45 29 p. 214-220
7 p.
 article
22 DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems Clavijo, Leonardo B.
 2012
 45 29 p. 349-355
7 p.
 article
23 Discontinuity Induced Bifurcations in Timed Continuous Petri Nets Meyer, A.
 2012
 45 29 p. 28-33
6 p.
 article
24 Discussion on fault Diagnosis methods of Discrete Event Systems Zaytoon, J.
 2012
 45 29 p. 9-12
4 p.
 article
25 Enforcing Opacity of Regular Predicates on Modal Transition Systems Darondeau, Philippe
 2012
 45 29 p. 331-336
6 p.
 article
26 Explicit Storage and Analysis of Billions of States using Commodity Computers Wang, Yin
 2012
 45 29 p. 364-371
8 p.
 article
27 FIFO Time Petri Nets for conflicts handling Boucheneb, Hanifa
 2012
 45 29 p. 143-148
6 p.
 article
28 Front cover and table of contents 2012
 45 29 p. ifc1, i-v, i-iv
 article
29 Generalised Verification of the Observer Property in Discrete Event Systems Bravo, H.J.
 2012
 45 29 p. 337-342
6 p.
 article
30 Hierarchical Interface-Based Supervisory Control Using the Conflict Preorder Malik, Robi
 2012
 45 29 p. 163-168
6 p.
 article
31 Incremental Discrete Controller Synthesis for communicating systems based on modular decomposition REN, Mingming
 2012
 45 29 p. 315-322
8 p.
 article
32 Interlocking System Design for ERTMS / ETCS: An Approach with Batches Petri Nets Durmuş, Mustafa S.
 2012
 45 29 p. 110-115
6 p.
 article
33 LTL Planning in Dynamic Environments Kloetzer, Marius
 2012
 45 29 p. 294-300
7 p.
 article
34 Marking homothetic monotonicity and fluidization of untimed Petri nets Fraca, Estíbaliz
 2012
 45 29 p. 21-27
7 p.
 article
35 Maximally Permissive Deadlock Avoidance for Resource Allocation Systems with R/W-Locks Nazeem, Ahmed
 2012
 45 29 p. 286-293
8 p.
 article
36 Maximal Permissive Timed Control for a Class of Hybrid Systems Batis, Sonia
 2012
 45 29 p. 157-162
6 p.
 article
37 Model Predictive Control for Stochastic Switching Max-Plus-Linear Systems van Loenhout, Stefan
 2012
 45 29 p. 79-84
6 p.
 article
38 Multi-intersection Traffic Light Control Using Infinitesimal Perturbation Analysis Geng, Yanfeng
 2012
 45 29 p. 104-109
6 p.
 article
39 New representations for (max,+) automata with applications to the performance evaluation of discrete event systems Boukra, Rabah
 2012
 45 29 p. 116-121
6 p.
 article
40 New Results on Supervisor Localization, with Application to Multi-Agent Formations Cai, Kai
 2012
 45 29 p. 233-238
6 p.
 article
41 On Algorithms and Extensions of Coordination Control of Discrete-Event Systems Komenda, Jan
 2012
 45 29 p. 245-250
6 p.
 article
42 On Intrinsically Live Structure of a Class of Generalized Petri Nets Modeling FMS Liu, Ding
 2012
 45 29 p. 187-192
6 p.
 article
43 On/Off control with observer's state feedback for continuous timed Petri nets Aguayo-Lara, Enrique
 2012
 45 29 p. 221-226
6 p.
 article
44 On the Computation of Supremal Sublanguages Relevant to Supervisory Control Moor, Thomas
 2012
 45 29 p. 175-180
6 p.
 article
45 On the solution of Max-plus linear equations with application on the control of TEGs Gonçalves, Vinicius Mariano
 2012
 45 29 p. 91-97
7 p.
 article
46 Optimal Control of Switched-Mode Dynamical Systems Wardi, Yorai
 2012
 45 29 p. 4-8
5 p.
 article
47 Optimal Sensor Selection for Ensuring Diagnosability in Labeled Bounded Petri Nets Cabasino, Maria Paola
 2012
 45 29 p. 208-213
6 p.
 article
48 Preface 2012
 45 29 p. vii-viii
nvt p.
 article
49 Range and Value-Set Analysis for Programmable Logic Controllers Biallas, Sebastian
 2012
 45 29 p. 378-383
6 p.
 article
50 Real-Time Control with Parametric Timed Reachability Games Jovanović, A.
 2012
 45 29 p. 323-330
8 p.
 article
51 Recoverability Analysis of Controlled Discrete Event Systems Modelled by a Class of Petri Nets Lutz-Ley, Alberto
 2012
 45 29 p. 201-207
7 p.
 article
52 Robustness of Synchronous Communication Protocols with Bounded Delay for Decentralized Discrete-Event Control Sadid, W.H.
 2012
 45 29 p. 181-186
6 p.
 article
53 Sensor Placement for Distinguishability in Continuous Timed Petri Nets Aguayo-Lara, Enrique
 2012
 45 29 p. 34-40
7 p.
 article
54 Some Perspectives and Challenges in the (Discrete) Control of Cellular Systems Cury, José E.R.
 2012
 45 29 p. 1-3
3 p.
 article
55 Stationary behavior of controlled Generalized Batches Petri Nets Demongodin, Isabel
 2012
 45 29 p. 54-60
7 p.
 article
56 Stock Reduction for Timed Event Graphs Based on Output Feedback David-Henriet, X.
 2012
 45 29 p. 85-90
6 p.
 article
57 Structural and generic conditions for controllability of timed continuous Petri nets Vázquez, C. Renato
 2012
 45 29 p. 41-46
6 p.
 article
58 Supervisory control of Petri nets using polyhedral regions Bacos, R.
 2012
 45 29 p. 193-200
8 p.
 article
59 Turbo Planning Jezequel, Loig
 2012
 45 29 p. 301-306
6 p.
 article
60 Using max-plus to solve the job shop problem with time lags Cury, J.E.
 2012
 45 29 p. 67-72
6 p.
 article
61 50 years after the PhD thesis of Carl Adam Petri: A perspective Silva, Manuel
 2012
 45 29 p. 13-20
8 p.
 article
                             61 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands