Volume 37; Issue 18

Main
IFAC Proceedings Volumes
Volume 37; Issue 18

IFAC Proceedings Volumes

Volume 37; Issue 18

1

A branch and bound procedure to optimize loading sequences of a simple supply chain under aperiodic demand

Merzouk, S.E., Grunder, O., El Bagdouri, M.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.93 MB

english, 2004

2

Job-shop scheduling by combining reachability analysis with linear programming

Panek, Sebastian, Stursberg, Olaf, Engell, Sebastian

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 778 KB

english, 2004

3

Preface

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 210 KB

english, 2004

4

On optimal and sub-optimal control in the presence of adversaries 1

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 16.69 MB

english, 2004

5

Discrete control systems for cars - quality is more than correct function

Kowalewski, Stefan

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 5.67 MB

english, 2004

6

A systems theory view of Petri nets

Giua, Alessandro, Seatzu, Carla

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 4.06 MB

english, 2004

7

Control Synthesis for Product-Driven Automation

Gouyon, David, Petin, Jean-françois, Morel, Gérard

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.63 MB

english, 2004

8

Implementation of local modular supervisory control for a pneumatic system using PLC

Hasdemir, İ. Tolga, Kurtulan, Salman, Gören, Leyla

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 750 KB

english, 2004

9

Automatic logic generation for reconfigurable cell-based manufacturing systems

Almeida, Emanuel, Tilbury, Dawn

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.97 MB

english, 2004

10

Supervisory control for the conformance of real-time discrete event systems 1 , 2

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.95 MB

english, 2004

11

Supervisory controller of petri nets under partial observation

Achour, Zied, Rezg, Nidhal, Xie, Xiaolan

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.61 MB

english, 2004

12

Efficient supervisory synthesis of large systems

Vahidi, Arash, Lennartson, Bengt, Fabian, Martin

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.62 MB

english, 2004

13

Approximating the minimal sensor selection for supervisory control

Khuller, Samir, Kortsarz, Guy, Rohloff, Kurt R.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.18 MB

english, 2004

14

On solvability of an agent-based control problem under dynamic environment

Hiraishi, Kunihiko

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.44 MB

english, 2004

15

Modelling and control of urban bus networks in dioids algebra

Houssin, L., Lahaye, S., Boimond, J.L.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.31 MB

english, 2004

16

On the use of hybrid system identification methods for max-plus-linear system identification

Münz, Eberhard, Schullerus, Gernot, Krebs, Volker

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.89 MB

english, 2004

17

Control and robustness analysis for (max,+)-linear systems

Lhommeau, M., Hardouin, L., Maia, C.-A., Santos-mendes, R.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.61 MB

english, 2004

18

Intermittent failure diagnosis based on discrete event models

Correcher, A., García, E., Morant, F., Quiles, E.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.21 MB

english, 2004

19

Hierarchical distributed diagnosis under global consistency

Su, R., wonham, W.M.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.40 MB

english, 2004

20

Multi-tasking supervisory control of discrete-event systems

de Queiroz, Max H., Cury, José E.R., Wonham, W.M.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 739 KB

english, 2004

21

Optimal routing in two parallel queues

Gaujal, Bruno, Hyon, Emmanuel, Jean-marie, Alain

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.61 MB

english, 2004

22

A dynamic programming-based technique for multi-class job scheduling on a single machine

Giglio, Davide, Minciardi, Riccardo

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 6.79 MB

english, 2004

23

Exploiting partial symmetries in well-formed nets for the reachability and the linear time model checking problems

Baarir, Soheib, Haddad, Serge, Ilié, Jean-michel

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.62 MB

english, 2004

24

Synthesis of controllers using coloured petri nets and theory of regions

Zouari, Belhassen, Ghedira, Karima

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 781 KB

english, 2004

25

Performance evaluation of non markovian stochastic discrete event systems - a new approach

Haddad, Serge, Mokdad, Lynda, Moreaux, Patrice

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.72 MB

english, 2004

26

Ant colony optimization for multi-state series-parallel system expansion-scheduling

Nourelfath, Mustapha, Khatab, Abdelhakim

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 781 KB

english, 2004

27

Maximally permissive controllers in all contexts

Riedweg, Stéphane, Pinchinat, Sophie

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.43 MB

english, 2004

28

Discrete event systems approach to the verification of the information flow properties in secure protocols

Hadj-alouane, Nejib Ben, Mullins, John, Yeddes, Moez, Lafrance, Stéphane, Lin, Feng

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.67 MB

english, 2004

29

ACTL strong negation and its application to hybrid system verification

Chutinan, Alongkrit, Han, Zhi, Krogh, Bruce H.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.99 MB

english, 2004

30

Diagnosis of modular discrete event systems 1

Contant, Olivier, Lafortune, Stéphane, Teneketzis, Demosthenis

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.23 MB

english, 2004

31

Distributed contextual diagnosis for very large systems

René Boel, K., Jiroveanu, George

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.28 MB

english, 2004

32

Complexity reduction in state observation of stochastic automata

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 6.93 MB

english, 2004

33

On the linearizability of discrete timed event graphs with multipliers using (min,+) algebra

Hamaci, Samir, Boimond, Jean-louis, Sébastien Lahaye, Sébastien, Mostefaoui, Mustapha

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.20 MB

english, 2004

34

Separated approach for “active” monitoring of discrete event systems

Sayed Mouchaweh, Moamar, Philippot, Alexandre, Triki, Slim, Riera, Bernard

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 687 KB

english, 2004

35

Modular finite state machines for logic control

Endsley, E.W., Tilbury, M.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.75 MB

english, 2004

36

An approach to on-line batch sequencing

Jovan, Vladimir, Hauptman, Boštjan

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 6.90 MB

english, 2004

37

Sequence analysis for time petri nets

Schastai, Valter, Lima, Evangivaldo A., Allan Künzle, Luis

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.31 MB

english, 2004

38

Algorithmic speed calculation for a timed continuous petri net

Munteanu, Calin, David, René, Alla, Hassane

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.84 MB

english, 2004

39

Early termination by local string in incremental language containment tests

Vahidi, Arash, Fabian, Martin, Lennartson, Bengt

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.31 MB

english, 2004

40

Towards optimal CTL* model checking of time petri nets

Boucheneb, Hanifa, Hadjidj, Rachid

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.71 MB

english, 2004

41

Supremal normal sublanguages of large distributed discrete-event systems

Komenda, Jan, Van Schuppen, Jan H.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.98 MB

english, 2004

42

An urban traffic network model via coloured timed petri nets

Dotoli, Mariagrazia, Fanti, Maria Pia

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.61 MB

english, 2004

43

A composition oriented perspective on controllability of large scale DES

Wenck, Florian, Richter, Jan H.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.30 MB

english, 2004

44

Monitor design for colored petri nets with uncontrollable and unobservable transitions

Giua, Alessandro, Seatzu, Carla

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.51 MB

english, 2004

45

Off-line scheduling of real time applications with variable duration tasks

Pailler, Stephane, Choquet-geniet, Annie

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.34 MB

english, 2004

46

Using timed automata for the verification of iec 61499 applications

Stanica, Marius, Guéguen, Hervé

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.46 MB

english, 2004

47

On-line synthesis approach based on a structured plant modeling

Philippot, A., Tajer, A., Gellot, F., Carré-ménétrier, V.

Journal:

IFAC Proceedings Volumes

Year:

2004

File:

PDF, 754 KB

2004

48

Sensor assignment for observability in interpreted petri nets

Aguirre-salas, L., Begovich, O., Ramirez-trevino, A.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.18 MB

english, 2004

49

Author index

Journal:

IFAC Proceedings Volumes

Year:

2004

File:

PDF, 962 KB

2004

50

A HPN-based control structure for privileged vehicle performance optimisation

Di Febbraro, Angela, Giglio, Davide, Sacco, Nicola

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.97 MB

english, 2004

51

An equivalent LTL/Kripke structure for the condition sequence/condition system model

Ashley, Jeff, Holloway, L.E.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.16 MB

english, 2004

52

Control of safe ordinary petri nets with marking specifications using unfolding

Giua, Alessandro, Xie, Xiaolan

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 767 KB

english, 2004

53

An ergodic theorem for stochastic max-plus linear systems

Heidergott, Bernd, Van der Woude, Jacob, Olsder, Geert Jan

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.70 MB

english, 2004

54

Modelling and control of discrete event systems using switching max-plus-linear systems

van den Boom, T.J.J., De Schutter, B.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.25 MB

english, 2004

55

Optimal control of switching surfaces in hybrid dynamic systems

Boccadoro, Mauro, Egerstedt, Magnus, Wardi, Yorai

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.32 MB

english, 2004

56

Discrete event control of a pinball machine

Lichtenberg, Gerwald, Neidig, Jörg

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.13 MB

english, 2004

57

On weighted time-optimal control for linear hybrid automata using quantifier elimination

Pang, Yan, Spathopoulos, Michael P.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.52 MB

english, 2004

58

Modular supervision of hybrid systems: a DES approach

Leal, André B., Cury, José E.R.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 779 KB

english, 2004

59

Modular supervisory control of a class of concurrent discrete event systems

Gaudin, B., Marchand, H.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 832 KB

english, 2004

60

An application example of symbolic calculus for SWN structural relations

Capra, L., De Pierro, M., Franceschinis, G.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 804 KB

english, 2004

61

Infinitesimal perturbation analysis for make-to-stock manufacturing systems based on stochastic fluid models

Panayiotou, Christos, Cassandras, Christos G.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 6.98 MB

english, 2004

62

On the set of certain conflicts of a given language

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.28 MB

english, 2004

63

Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis 1

Dumitrescu, Emil, Girault, Alain, Rutten, Eric

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.20 MB

english, 2004

64

On the suitability of object-oriented models for industrial logic controllers

Bonfè, Marcello, Fantuzzi, Cesare

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.62 MB

english, 2004

65

Designing dependable logic controllers using algebraic specifications

Roussel, Jean-Marc, Faure, Jean-Marc

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.25 MB

english, 2004

66

Reachability analysis using proximity based automata *

Kapinski, Jim, Schmidt, Klaus, Krogh, Bruce H.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.88 MB

english, 2004

67

New coloured reductions for software validation

Evangelista, Sami, Haddad, Serge, Pradat-peyre, Jean-françois

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.68 MB

english, 2004

68

Applying automated control synthesis methods to condition systems requiring state observers

Gong, Yu, Holloway,, L.E.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.97 MB

english, 2004

69

A novel hierarchical control architecture for a class of discrete-event systems

Li, Danjing, Mayer, Eckart, Raisch, Jörg

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.03 MB

english, 2004

70

State estimation and control of nondeterministic λ-free labeled petri nets

Corona, Daniele, Giua, Alessandro, Seatzu, Carla

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 800 KB

english, 2004

71

A model of component consistency in distributed diagnosis

Su, R., Wonham, W.M.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.66 MB

english, 2004

72

A formal analysis of a car periphery supervison system 1

Gebremichael, Biniam, Krilavicius, Tomas, Usenko, Yaroslav S.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.68 MB

english, 2004

73

Bandwidth requirements for event-driven observations of continuous-time variable

Miśkowicz, Marek

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.58 MB

english, 2004

74

Bisimulation based design of user-interface for discrete event systems

Adachi, Masakazu, Ushio, Toshimitsu, Ukawa, Yoshitaka

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.91 MB

english, 2004

75

Optimal control for a class of manufacturing systems with production rate dependent failure rates 1

Chiovelli, Raffaele, Martinelli, Francesco, Valigi, Paolo

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.17 MB

english, 2004

76

PNetLab: a tool for the simulation, analysis and control of discrete event systems based on petri nets

Basile, Francesco, Carbone, Ciro, Chiacchio, Pasquale

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.00 MB

english, 2004

77

The thinning problem

Reveliotis, Spyros A., Choi, Jin Young

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 805 KB

english, 2004

78

Hierarchical control for structural decentralized DES

Schmidt, Klaus, Reger, Johann, Moor, Thomas

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.41 MB

english, 2004

79

Abstraction of continuous system trajectories into timed automata

Hélias, Arnaud, Guerrin, François, Steyer, Jean-philippe

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.37 MB

english, 2004

80

Maximally permissive mutually and globally nonblocking supervisors for discrete event systems

Kumar, Ratnesh, Takai, Shigemasa, Fabian, Martin, Ushio, Toshimitsu

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.62 MB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски