| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A branch and bound procedure to optimize loading sequences of a simple supply chain under aperiodic demand
|
Merzouk, S.E.
|
|
2004
|
37 |
18 |
p. 369-374
6 p.
|
artikel
|
| 2 |
Abstraction of continuous system trajectories into timed automata
|
Hélias, Arnaud
|
|
2004
|
37 |
18 |
p. 309-314
6 p.
|
artikel
|
| 3 |
A composition oriented perspective on controllability of large scale DES
|
Wenck, Florian
|
|
2004
|
37 |
18 |
p. 261-266
6 p.
|
artikel
|
| 4 |
ACTL strong negation and its application to hybrid system verification
|
Chutinan, Alongkrit
|
|
2004
|
37 |
18 |
p. 321-326
6 p.
|
artikel
|
| 5 |
A dynamic programming-based technique for multi-class job scheduling on a single machine
|
Giglio, Davide
|
|
2004
|
37 |
18 |
p. 201-206
6 p.
|
artikel
|
| 6 |
A formal analysis of a car periphery supervison system 1
|
Gebremichael, Biniam
|
|
2004
|
37 |
18 |
p. 423-428
6 p.
|
artikel
|
| 7 |
A HPN-based control structure for privileged vehicle performance optimisation
|
Di Febbraro, Angela
|
|
2004
|
37 |
18 |
p. 45-50
6 p.
|
artikel
|
| 8 |
Algorithmic speed calculation for a timed continuous petri net
|
Munteanu, Calin
|
|
2004
|
37 |
18 |
p. 447-452
6 p.
|
artikel
|
| 9 |
A model of component consistency in distributed diagnosis
|
Su, R.
|
|
2004
|
37 |
18 |
p. 417-422
6 p.
|
artikel
|
| 10 |
An application example of symbolic calculus for SWN structural relations
|
Capra, L.
|
|
2004
|
37 |
18 |
p. 225-230
6 p.
|
artikel
|
| 11 |
An approach to on-line batch sequencing
|
Jovan, Vladimir
|
|
2004
|
37 |
18 |
p. 429-434
6 p.
|
artikel
|
| 12 |
An equivalent LTL/Kripke structure for the condition sequence/condition system model
|
Ashley, Jeff
|
|
2004
|
37 |
18 |
p. 57-62
6 p.
|
artikel
|
| 13 |
An ergodic theorem for stochastic max-plus linear systems
|
Heidergott, Bernd
|
|
2004
|
37 |
18 |
p. 99-104
6 p.
|
artikel
|
| 14 |
A novel hierarchical control architecture for a class of discrete-event systems
|
Li, Danjing
|
|
2004
|
37 |
18 |
p. 405-410
6 p.
|
artikel
|
| 15 |
Ant colony optimization for multi-state series-parallel system expansion-scheduling
|
Nourelfath, Mustapha
|
|
2004
|
37 |
18 |
p. 249-254
6 p.
|
artikel
|
| 16 |
An urban traffic network model via coloured timed petri nets
|
Dotoli, Mariagrazia
|
|
2004
|
37 |
18 |
p. 207-212
6 p.
|
artikel
|
| 17 |
Applying automated control synthesis methods to condition systems requiring state observers
|
Gong, Yu
|
|
2004
|
37 |
18 |
p. 399-404
6 p.
|
artikel
|
| 18 |
Approximating the minimal sensor selection for supervisory control
|
Khuller, Samir
|
|
2004
|
37 |
18 |
p. 87-92
6 p.
|
artikel
|
| 19 |
A systems theory view of Petri nets
|
Giua, Alessandro
|
|
2004
|
37 |
18 |
p. 17-19
3 p.
|
artikel
|
| 20 |
Author index
|
|
|
2004
|
37 |
18 |
p. 471-
1 p.
|
artikel
|
| 21 |
Automatic logic generation for reconfigurable cell-based manufacturing systems
|
Almeida, Emanuel
|
|
2004
|
37 |
18 |
p. 33-38
6 p.
|
artikel
|
| 22 |
Bandwidth requirements for event-driven observations of continuous-time variable
|
Miśkowicz, Marek
|
|
2004
|
37 |
18 |
p. 465-470
6 p.
|
artikel
|
| 23 |
Bisimulation based design of user-interface for discrete event systems
|
Adachi, Masakazu
|
|
2004
|
37 |
18 |
p. 159-164
6 p.
|
artikel
|
| 24 |
Complexity reduction in state observation of stochastic automata
|
Lunze, Jan
|
|
2004
|
37 |
18 |
p. 339-344
6 p.
|
artikel
|
| 25 |
Control and robustness analysis for (max,+)-linear systems
|
Lhommeau, M.
|
|
2004
|
37 |
18 |
p. 123-128
6 p.
|
artikel
|
| 26 |
Control of safe ordinary petri nets with marking specifications using unfolding
|
Giua, Alessandro
|
|
2004
|
37 |
18 |
p. 63-68
6 p.
|
artikel
|
| 27 |
Control Synthesis for Product-Driven Automation
|
Gouyon, David
|
|
2004
|
37 |
18 |
p. 21-26
6 p.
|
artikel
|
| 28 |
Designing dependable logic controllers using algebraic specifications
|
Roussel, Jean-Marc
|
|
2004
|
37 |
18 |
p. 303-308
6 p.
|
artikel
|
| 29 |
Diagnosis of modular discrete event systems 1
|
Contant, Olivier
|
|
2004
|
37 |
18 |
p. 327-332
6 p.
|
artikel
|
| 30 |
Discrete control systems for cars - quality is more than correct function
|
Kowalewski, Stefan
|
|
2004
|
37 |
18 |
p. 13-16
4 p.
|
artikel
|
| 31 |
Discrete event control of a pinball machine
|
Lichtenberg, Gerwald
|
|
2004
|
37 |
18 |
p. 135-140
6 p.
|
artikel
|
| 32 |
Discrete event systems approach to the verification of the information flow properties in secure protocols
|
Hadj-alouane, Nejib Ben
|
|
2004
|
37 |
18 |
p. 297-302
6 p.
|
artikel
|
| 33 |
Distributed contextual diagnosis for very large systems
|
René Boel, K.
|
|
2004
|
37 |
18 |
p. 333-338
6 p.
|
artikel
|
| 34 |
Early termination by local string in incremental language containment tests
|
Vahidi, Arash
|
|
2004
|
37 |
18 |
p. 453-458
6 p.
|
artikel
|
| 35 |
Efficient supervisory synthesis of large systems
|
Vahidi, Arash
|
|
2004
|
37 |
18 |
p. 81-86
6 p.
|
artikel
|
| 36 |
Exploiting partial symmetries in well-formed nets for the reachability and the linear time model checking problems
|
Baarir, Soheib
|
|
2004
|
37 |
18 |
p. 219-224
6 p.
|
artikel
|
| 37 |
Hierarchical control for structural decentralized DES
|
Schmidt, Klaus
|
|
2004
|
37 |
18 |
p. 279-284
6 p.
|
artikel
|
| 38 |
Hierarchical distributed diagnosis under global consistency
|
Su, R.
|
|
2004
|
37 |
18 |
p. 153-158
6 p.
|
artikel
|
| 39 |
Implementation of local modular supervisory control for a pneumatic system using PLC
|
Hasdemir, İ. Tolga
|
|
2004
|
37 |
18 |
p. 27-32
6 p.
|
artikel
|
| 40 |
Infinitesimal perturbation analysis for make-to-stock manufacturing systems based on stochastic fluid models
|
Panayiotou, Christos
|
|
2004
|
37 |
18 |
p. 237-242
6 p.
|
artikel
|
| 41 |
Intermittent failure diagnosis based on discrete event models
|
Correcher, A.
|
|
2004
|
37 |
18 |
p. 147-152
6 p.
|
artikel
|
| 42 |
Job-shop scheduling by combining reachability analysis with linear programming
|
Panek, Sebastian
|
|
2004
|
37 |
18 |
p. 195-200
6 p.
|
artikel
|
| 43 |
Maximally permissive controllers in all contexts
|
Riedweg, Stéphane
|
|
2004
|
37 |
18 |
p. 273-278
6 p.
|
artikel
|
| 44 |
Maximally permissive mutually and globally nonblocking supervisors for discrete event systems
|
Kumar, Ratnesh
|
|
2004
|
37 |
18 |
p. 69-74
6 p.
|
artikel
|
| 45 |
Modelling and control of discrete event systems using switching max-plus-linear systems
|
van den Boom, T.J.J.
|
|
2004
|
37 |
18 |
p. 117-122
6 p.
|
artikel
|
| 46 |
Modelling and control of urban bus networks in dioids algebra
|
Houssin, L.
|
|
2004
|
37 |
18 |
p. 105-110
6 p.
|
artikel
|
| 47 |
Modular finite state machines for logic control
|
Endsley, E.W.
|
|
2004
|
37 |
18 |
p. 393-398
6 p.
|
artikel
|
| 48 |
Modular supervision of hybrid systems: a DES approach
|
Leal, André B.
|
|
2004
|
37 |
18 |
p. 165-170
6 p.
|
artikel
|
| 49 |
Modular supervisory control of a class of concurrent discrete event systems
|
Gaudin, B.
|
|
2004
|
37 |
18 |
p. 177-182
6 p.
|
artikel
|
| 50 |
Monitor design for colored petri nets with uncontrollable and unobservable transitions
|
Giua, Alessandro
|
|
2004
|
37 |
18 |
p. 351-356
6 p.
|
artikel
|
| 51 |
Multi-tasking supervisory control of discrete-event systems
|
de Queiroz, Max H.
|
|
2004
|
37 |
18 |
p. 171-176
6 p.
|
artikel
|
| 52 |
New coloured reductions for software validation
|
Evangelista, Sami
|
|
2004
|
37 |
18 |
p. 345-350
6 p.
|
artikel
|
| 53 |
Off-line scheduling of real time applications with variable duration tasks
|
Pailler, Stephane
|
|
2004
|
37 |
18 |
p. 363-368
6 p.
|
artikel
|
| 54 |
On-line synthesis approach based on a structured plant modeling
|
Philippot, A.
|
|
2004
|
37 |
18 |
p. 387-392
6 p.
|
artikel
|
| 55 |
On optimal and sub-optimal control in the presence of adversaries 1
|
Maler, Oded
|
|
2004
|
37 |
18 |
p. 1-12
12 p.
|
artikel
|
| 56 |
On solvability of an agent-based control problem under dynamic environment
|
Hiraishi, Kunihiko
|
|
2004
|
37 |
18 |
p. 93-98
6 p.
|
artikel
|
| 57 |
On the linearizability of discrete timed event graphs with multipliers using (min,+) algebra
|
Hamaci, Samir
|
|
2004
|
37 |
18 |
p. 357-362
6 p.
|
artikel
|
| 58 |
On the set of certain conflicts of a given language
|
Malik, Robi
|
|
2004
|
37 |
18 |
p. 267-272
6 p.
|
artikel
|
| 59 |
On the suitability of object-oriented models for industrial logic controllers
|
Bonfè, Marcello
|
|
2004
|
37 |
18 |
p. 291-296
6 p.
|
artikel
|
| 60 |
On the use of hybrid system identification methods for max-plus-linear system identification
|
Münz, Eberhard
|
|
2004
|
37 |
18 |
p. 111-116
6 p.
|
artikel
|
| 61 |
On weighted time-optimal control for linear hybrid automata using quantifier elimination
|
Pang, Yan
|
|
2004
|
37 |
18 |
p. 141-146
6 p.
|
artikel
|
| 62 |
Optimal control for a class of manufacturing systems with production rate dependent failure rates 1
|
Chiovelli, Raffaele
|
|
2004
|
37 |
18 |
p. 183-188
6 p.
|
artikel
|
| 63 |
Optimal control of switching surfaces in hybrid dynamic systems
|
Boccadoro, Mauro
|
|
2004
|
37 |
18 |
p. 129-134
6 p.
|
artikel
|
| 64 |
Optimal routing in two parallel queues
|
Gaujal, Bruno
|
|
2004
|
37 |
18 |
p. 189-194
6 p.
|
artikel
|
| 65 |
Performance evaluation of non markovian stochastic discrete event systems - a new approach
|
Haddad, Serge
|
|
2004
|
37 |
18 |
p. 243-248
6 p.
|
artikel
|
| 66 |
PNetLab: a tool for the simulation, analysis and control of discrete event systems based on petri nets
|
Basile, Francesco
|
|
2004
|
37 |
18 |
p. 213-218
6 p.
|
artikel
|
| 67 |
Preface
|
|
|
2004
|
37 |
18 |
p. v-
1 p.
|
artikel
|
| 68 |
Reachability analysis using proximity based automata *
|
Kapinski, Jim
|
|
2004
|
37 |
18 |
p. 315-320
6 p.
|
artikel
|
| 69 |
Sensor assignment for observability in interpreted petri nets
|
Aguirre-salas, L.
|
|
2004
|
37 |
18 |
p. 441-446
6 p.
|
artikel
|
| 70 |
Separated approach for “active” monitoring of discrete event systems
|
Sayed Mouchaweh, Moamar
|
|
2004
|
37 |
18 |
p. 381-386
6 p.
|
artikel
|
| 71 |
Sequence analysis for time petri nets
|
Schastai, Valter
|
|
2004
|
37 |
18 |
p. 435-440
6 p.
|
artikel
|
| 72 |
State estimation and control of nondeterministic λ-free labeled petri nets
|
Corona, Daniele
|
|
2004
|
37 |
18 |
p. 411-416
6 p.
|
artikel
|
| 73 |
Supervisory control for the conformance of real-time discrete event systems 1 , 2
|
Khoumsi, Ahmed
|
|
2004
|
37 |
18 |
p. 39-44
6 p.
|
artikel
|
| 74 |
Supervisory controller of petri nets under partial observation
|
Achour, Zied
|
|
2004
|
37 |
18 |
p. 51-56
6 p.
|
artikel
|
| 75 |
Supremal normal sublanguages of large distributed discrete-event systems
|
Komenda, Jan
|
|
2004
|
37 |
18 |
p. 75-80
6 p.
|
artikel
|
| 76 |
Synthesis of controllers using coloured petri nets and theory of regions
|
Zouari, Belhassen
|
|
2004
|
37 |
18 |
p. 231-236
6 p.
|
artikel
|
| 77 |
The thinning problem
|
Reveliotis, Spyros A.
|
|
2004
|
37 |
18 |
p. 255-260
6 p.
|
artikel
|
| 78 |
Towards optimal CTL* model checking of time petri nets
|
Boucheneb, Hanifa
|
|
2004
|
37 |
18 |
p. 459-464
6 p.
|
artikel
|
| 79 |
Using timed automata for the verification of iec 61499 applications
|
Stanica, Marius
|
|
2004
|
37 |
18 |
p. 375-380
6 p.
|
artikel
|
| 80 |
Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis 1
|
Dumitrescu, Emil
|
|
2004
|
37 |
18 |
p. 285-290
6 p.
|
artikel
|
Tijdschrift beschrijving