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
 
                             73 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Compositional Approach for Verifying Hierarchical Interface-Based Supervisory Control Leduc, Ryan
 2010
 43 12 p. 104-110
7 p.
 artikel
2 A Frequency-Domain Approach for Max-Plus Linear Systems Shang, Ying
 2010
 43 12 p. 394-399
6 p.
 artikel
3 A Geometric Approach for the Homothetic Approximation of Stochastic Petri nets Lefebvre, D.
 2010
 43 12 p. 235-240
6 p.
 artikel
4 An Algorithm to Compute the Minimal Siphons in S 4 PR Nets Cano, Elia E.
 2010
 43 12 p. 15-20
6 p.
 artikel
5 An Approximation Approach for Model Predictive Control of Stochastic Max-Plus Linear Systems Farahani, Samira S.
 2010
 43 12 p. 376-381
6 p.
 artikel
6 A new protocol for the decentralized diagnosis of labeled Petri nets Cabasino, Maria Paola
 2010
 43 12 p. 123-128
6 p.
 artikel
7 An Identification Technique for Timed Event Systems Jarvis, Donald E.
 2010
 43 12 p. 181-186
6 p.
 artikel
8 An Optimized Algorithm for Diagnosability of Component-based Systems YE, Lina.
 2010
 43 12 p. 143-148
6 p.
 artikel
9 An Unifying Decision-Making Framework in Discrete-Event Systems: Application to Centralized and Decentralized Control, Diagnosis and Prognosis Khoumsi, Ahmed
 2010
 43 12 p. 135-142
8 p.
 artikel
10 Application of Supervisory Control Theory to Theme Park Vehicles Forschelen, S.T.J.
 2010
 43 12 p. 293-299
7 p.
 artikel
11 Applied Supervisory Control for a Flexible Manufacturing System Moor, Thomas
 2010
 43 12 p. 253-258
6 p.
 artikel
12 A Rollout Method for Finite-Stage Event-Based Decision Processes Jia, Qing-Shan
 2010
 43 12 p. 247-252
6 p.
 artikel
13 Asymptotic throughput of stochastic max-plus linear systems. Merlet, G.
 2010
 43 12 p. 388-393
6 p.
 artikel
14 Augmenting Petri Nets to Model Health-Care Protocols Whittaker, Sarah-Jane
 2010
 43 12 p. 331-336
6 p.
 artikel
15 Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams Zhang, Y.
 2010
 43 12 p. 281-286
6 p.
 artikel
16 Comparison of different classes of service curves in Network Calculus Bouillard, Anne
 2010
 43 12 p. 306-311
6 p.
 artikel
17 Compositional Nonblocking Verification Using Annotated Automata Ware, Simon
 2010
 43 12 p. 364-369
6 p.
 artikel
18 Computation of Projections for the Abstraction-based Diagnosability Verification Schmidt, Klaus
 2010
 43 12 p. 199-204
6 p.
 artikel
19 Control of cyclically operated High-Throughput Screening Systems Brunsch, T.
 2010
 43 12 p. 167-172
6 p.
 artikel
20 Control of uncertain (max,+)-linear systems in order to decrease uncertainty Le Corronc, Euriell
 2010
 43 12 p. 400-405
6 p.
 artikel
21 Coordination of Resources using Generalized State-Based Requirements Markovski, J.
 2010
 43 12 p. 287-292
6 p.
 artikel
22 Diagnosability of Labeled Petri Nets via Integer Linear Programming Basile, F.
 2010
 43 12 p. 71-77
7 p.
 artikel
23 Distributed State Estimation for Hybrid and Discrete Event Systems Using l-Complete Approximations Raisch, Jörg
 2010
 43 12 p. 129-134
6 p.
 artikel
24 Efficient Computation of Observer Projections using OP-Verifiers1 Pena, P.N.
 2010
 43 12 p. 406-411
6 p.
 artikel
25 Fail-Safe Signalization Design for a Railway Yard: A Level Crossing Case M.S., Durmus
 2010
 43 12 p. 337-342
6 p.
 artikel
26 Fault-Tolerant Control of Nondeterministic Input/Output Automata subject to Actuator Faults Nke, Y.
 2010
 43 12 p. 350-355
6 p.
 artikel
27 Gradient Estimation for Quantiles of Stationary Waiting Times Heidergott, Bernd
 2010
 43 12 p. 241-246
6 p.
 artikel
28 Graph Process Specifications for Hybrid Networked Systems Twu, Philip
 2010
 43 12 p. 65-70
6 p.
 artikel
29 Hierarchical Multitasking Control of Discrete Event Systems: Computation of Projections and Maximal Permissiveness Schmidt, Klaus
 2010
 43 12 p. 98-103
6 p.
 artikel
30 Initial Investigations of Hybrid Thermodynamic Control Systems with Phase Transitions Gromov, Dmitry
 2010
 43 12 p. 53-58
6 p.
 artikel
31 International Programme Committee 2010
 43 12 p. iii-iv
nvt p.
 artikel
32 IPA for Continuous Petri Nets Giua, Alessandro
 2010
 43 12 p. 47-52
6 p.
 artikel
33 Linear programming techniques for analysis and control of batches Petri nets Demongodin, Isabel
 2010
 43 12 p. 1-6
6 p.
 artikel
34 Linear Time-Varying (Max,+) Representation of Conflicting Timed Event Graphs ADDAD, B.
 2010
 43 12 p. 300-305
6 p.
 artikel
35 Max-Consensus in a Max-Plus Algebraic Setting: The Case of Switching Communication Topologies Nejad, Behrang Monajemi
 2010
 43 12 p. 173-180
8 p.
 artikel
36 Max-plus Linear Observer: Application to Manufacturing Systems Hardouin, L.
 2010
 43 12 p. 161-166
6 p.
 artikel
37 Modeling and Control of Legged Locomotion via Switching Max-Plus Systems Lopes, G.A.D.
 2010
 43 12 p. 382-387
6 p.
 artikel
38 Modeling of interval P-time Petri nets using dioid algebra Špaĉek, Pavel
 2010
 43 12 p. 312-317
6 p.
 artikel
39 Modular specification of forbidden states for supervisory control Magnusson, P.
 2010
 43 12 p. 412-417
6 p.
 artikel
40 Multicriteria optimal reconfiguration of fault-tolerant real-time tasks Dumitrescu, Emil
 2010
 43 12 p. 356-363
8 p.
 artikel
41 Numerically Stable Approximations of Optimal Control Processes Associated with a Class of Switched Systems Azhmyakov, V.
 2010
 43 12 p. 41-46
6 p.
 artikel
42 On Almost-Sure Properties of Probabilistic Discrete Event Systems Yen, Hsu-Chun
 2010
 43 12 p. 223-228
6 p.
 artikel
43 On-line Detection and Sensor Activation for Discrete Event Systems1 Shu, Shaolong
 2010
 43 12 p. 187-192
6 p.
 artikel
44 On Proportional Controller in (Min, +) Algebra Boimond, J.-L.
 2010
 43 12 p. 149-154
6 p.
 artikel
45 On the construction of probabilistic diagnosers Fabre, Eric
 2010
 43 12 p. 229-234
6 p.
 artikel
46 On the Geometry of Switching Manifolds for Autonomous Hybrid Systems Taringoo, Farzin.
 2010
 43 12 p. 35-40
6 p.
 artikel
47 Optimal deadlock avoidance for complex resource allocation systems through classification theory Nazeem, Ahmed
 2010
 43 12 p. 267-274
8 p.
 artikel
48 Optimal Vendor-Managed Inventory policies in distribution systems with discrete-event processes Sacone, Simona
 2010
 43 12 p. 444-449
6 p.
 artikel
49 Perturbation Analysis of Stochastic Hybrid Systems and Applications to Some Non-Cooperative Games Yao, Chen
 2010
 43 12 p. 59-64
6 p.
 artikel
50 Preface 2010
 43 12 p. i-
1 p.
 artikel
51 Reduced-Complexity Verification for Initial-State Opacity in Modular Discrete Event Systems Saboori, Anooshiravan
 2010
 43 12 p. 78-83
6 p.
 artikel
52 Robust diagnosability of discrete event systems subject to intermittent sensor failures Carvalho, Lilian Kawakami
 2010
 43 12 p. 84-89
6 p.
 artikel
53 Robust diagnosis of discrete-event systems subject to permanent sensor failures Lima, Saulo T.S.
 2010
 43 12 p. 90-97
8 p.
 artikel
54 Robust Failure Diagnosis of Partially Observed Discrete Event Systems Takai, Shigemasa
 2010
 43 12 p. 205-210
6 p.
 artikel
55 Rotary-Wing UAV Mission Planning Aided by Supervisory Control Gonzalez, José Cerdeira
 2010
 43 12 p. 324-330
7 p.
 artikel
56 Sampled-Data Supervisory Control Leduc, Ryan J.
 2010
 43 12 p. 343-349
7 p.
 artikel
57 SIC-testability of sequential logic controllers PROVOST, J.
 2010
 43 12 p. 193-198
6 p.
 artikel
58 SimHPN: a MATLAB toolbox for continuous Petri nets Jûlvez, Jorge
 2010
 43 12 p. 21-26
6 p.
 artikel
59 Solution of a Multi-Agent Transport Problem by Hybrid Optimization Mangesius, Herbert
 2010
 43 12 p. 432-437
6 p.
 artikel
60 Supervisor Computation and Representation: A Case Study Åkesson, K.
 2010
 43 12 p. 275-280
6 p.
 artikel
61 Supervisory control based on multi-face modelling of discrete event systems Kovács, Gábor
 2010
 43 12 p. 117-122
6 p.
 artikel
62 Supervisory Control for Modal Specifications of Services Darondeau, Philippe
 2010
 43 12 p. 418-425
8 p.
 artikel
63 Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project Wang, Yin
 2010
 43 12 p. 259-266
8 p.
 artikel
64 Supremal Normal Sublanguages in Hierarchical Supervisory Control Komenda, Jan
 2010
 43 12 p. 111-116
6 p.
 artikel
65 Synchronous composition of interval weighted automata Komenda, Jan
 2010
 43 12 p. 318-323
6 p.
 artikel
66 Synthesis of Behavioral Controllers for DES: Increasing Efficiency Bollue, Kai
 2010
 43 12 p. 27-34
8 p.
 artikel
67 Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems Komenda, Jan
 2010
 43 12 p. 426-431
6 p.
 artikel
68 Techniques for the Parametrization of Discrete-Event System Templates Grigorov, Lenko
 2010
 43 12 p. 370-375
6 p.
 artikel
69 TIMED PETRI NETS PERSPECTIVE ON WEAVING PROCESSES Barad, Miryam
 2010
 43 12 p. 438-443
6 p.
 artikel
70 Timing-dependent boundedness and liveness in continuous Petri nets Vázquez, C. Renato
 2010
 43 12 p. 7-14
8 p.
 artikel
71 Trajectory Tracking Control of a Timed Event Graph with Specifications Defined by a P-time Event Graph: On-line control and Off-line preparation. Declerck, Philippe
 2010
 43 12 p. 155-160
6 p.
 artikel
72 Use of a Metric in Supervisory Control of Probabilistic Discrete Event Systems Pantelic, Vera
 2010
 43 12 p. 217-222
6 p.
 artikel
73 What Topology tells us about Diagnosability in partial order semantics Haar, Stefan
 2010
 43 12 p. 211-216
6 p.
 artikel
                             73 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland