Volume 45; Issue 29

Main
IFAC Proceedings Volumes
Volume 45; Issue 29

IFAC Proceedings Volumes

Volume 45; Issue 29

1

Some Perspectives and Challenges in the (Discrete) Control of Cellular Systems

Cury, José E.R., Baldissera, Fabio L.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 74 KB

english, 2012

2

Optimal Control of Switched-Mode Dynamical Systems

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 194 KB

english, 2012

3

50 years after the PhD thesis of Carl Adam Petri: A perspective

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 916 KB

english, 2012

4

Control of continuous Petri nets using ON/OFF based method

Wang, Liewei, Mahulea, Cristian, Júlvez, Jorge, Silva, Manuel

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 228 KB

english, 2012

5

Using max-plus to solve the job shop problem with time lags

Cury, J.E., Loiseau, J.J., Martinez, C., de Queiroz, M.H.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 198 KB

english, 2012

6

Stock Reduction for Timed Event Graphs Based on Output Feedback

David-Henriet, X., Brunsch, T., Raisch, J., Hardouin, L.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 271 KB

english, 2012

7

On the solution of Max-plus linear equations with application on the control of TEGs

Gonçalves, Vinicius Mariano, Maia, Carlos Andrey, Hardouin, Laurent

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 299 KB

english, 2012

8

A Decision Support System for Risk Evaluation of HAZMAT Transportation in Motorways

Fanti, Maria Pia, Iacobellis, Giorgio, Ukovich, Walter

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 182 KB

english, 2012

9

Multi-intersection Traffic Light Control Using Infinitesimal Perturbation Analysis

Geng, Yanfeng, Cassandras, Christos G.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 855 KB

english, 2012

10

New representations for (max,+) automata with applications to the performance evaluation of discrete event systems

Boukra, Rabah, Lahaye, Sébastien, Boimond, Jean-Louis

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 194 KB

english, 2012

11

Decentralized Control of Product (max+)-automata using Coinduction

Komenda, Jan, Lahaye, Sébastien, Boimond, Jean-Louis

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 156 KB

english, 2012

12

Hierarchical Interface-Based Supervisory Control Using the Conflict Preorder

Malik, Robi, Leduc, Ryan

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 182 KB

english, 2012

13

Bisimilarity Enforcing Supervisory Control of Nondeterministic Systems under Event and State Observations

Kimura, Katsuyuki, Nomura, Masashi, Takai, Shigemasa

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 252 KB

english, 2012

14

On the Computation of Supremal Sublanguages Relevant to Supervisory Control

Moor, Thomas, Baier, Christine, Yoo, Tae-Sic, Lin, Feng, Lafortune, Stéphane

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 150 KB

english, 2012

15

Robustness of Synchronous Communication Protocols with Bounded Delay for Decentralized Discrete-Event Control

Sadid, W.H., Ricker, S.L., Hashtrudi-Zad, S.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 243 KB

english, 2012

16

Supervisory control of Petri nets using polyhedral regions

Bacos, R., Cury, J.E.R., Kara, R., Loiseau, J.J.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 164 KB

english, 2012

17

Recoverability Analysis of Controlled Discrete Event Systems Modelled by a Class of Petri Nets

Lutz-Ley, Alberto, López-Mellado, Ernesto

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 536 KB

english, 2012

18

On/Off control with observer's state feedback for continuous timed Petri nets

Aguayo-Lara, Enrique, Ross-León, Roberto, Ramírez-Treviño, Antonio, Ruiz-León, Javier

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 246 KB

english, 2012

19

New Results on Supervisor Localization, with Application to Multi-Agent Formations

Cai, Kai, Wonham, W.M.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 169 KB

english, 2012

20

An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis

Mohajerani, Sahar, Malik, Robi, Fabian, Martin

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 165 KB

english, 2012

21

On Algorithms and Extensions of Coordination Control of Discrete-Event Systems

Komenda, Jan, Masopust, Tomáš, van Schuppen, Jan H.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 177 KB

english, 2012

22

Coarsest Controllability-Preserving Plant Minimization

Markovski, Jasen

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 270 KB

english, 2012

23

Analysis of partially observed recursive tile systems

Chédor, Sébastien, Morvan, Christophe, Pinchinat, Sophie, Marchand, Hervé

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 218 KB

english, 2012

24

LTL Planning in Dynamic Environments

Kloetzer, Marius, Mahulea, Cristian

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 1.76 MB

english, 2012

25

Turbo Planning

Jezequel, Loig, Fabre, Eric

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 166 KB

english, 2012

26

Algebraic synthesis of logical controllers despite inconsistencies in specifications

Roussel, Jean-Marc, Lesage, Jean-Jacques

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 285 KB

english, 2012

27

Enforcing Opacity of Regular Predicates on Modal Transition Systems

Darondeau, Philippe

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 145 KB

english, 2012

28

Generalised Verification of the Observer Property in Discrete Event Systems

Bravo, H.J., da Cunha, A.E.C., Pena, P.N., Malik, R., Cury, J.E.R.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 230 KB

english, 2012

29

DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems

Clavijo, Leonardo B., Basilio, João Carlos, Carvalho, Lilian Kawakami

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 314 KB

english, 2012

30

A model of distributed key generation for industrial control systems

Kilinc, Gorkem, Fovino, Igor Nai, Ferigato, Carlo, Koltuksuz, Ahmet

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 3.35 MB

english, 2012

31

Explicit Storage and Analysis of Billions of States using Commodity Computers

Wang, Yin, Stanley, Jason, Lafortune, Stéphane

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 252 KB

english, 2012

32

Approximate Event-Based Optimization for Evacuation

Jia, Qing-Shan, Xia, Li

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 201 KB

english, 2012

33

Range and Value-Set Analysis for Programmable Logic Controllers

Biallas, Sebastian, Kowalewski, Stefan, Schlich, Bastian

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 456 KB

english, 2012

34

Preface

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 47 KB

english, 2012

35

Incremental Discrete Controller Synthesis for communicating systems based on modular decomposition

REN, Mingming, DUMITRESCU, Emil, PIETRAC, Laurent, NIEL, Eric

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 226 KB

english, 2012

36

Compositions of (max,+) automata

Lahaye, Sébastien, Komenda, Jan, Boimond, Jean-Louis

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 238 KB

english, 2012

37

Maximal Permissive Timed Control for a Class of Hybrid Systems

Batis, Sonia, Alla, Hassane

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 1.54 MB

english, 2012

38

Decentralized K-Diagnosability of Petri Nets

Basile, F., Chiacchio, P., De Tommasi, G.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 299 KB

english, 2012

39

Model Predictive Control for Stochastic Switching Max-Plus-Linear Systems

van Loenhout, Stefan, van den Boom, Ton, Farahani, Samira, De Schutter, Bart

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 162 KB

english, 2012

40

Computation of Supervisors for Reconfigurable Machine Tools

Schmidt, Klaus Werner

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 224 KB

english, 2012

41

A Hierarchical Control Architecture for Sequential Behaviours

Baier, Christine, Moor, Thomas

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 184 KB

english, 2012

42

Bounded Sensor Failure Tolerant Supervisory Control

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 190 KB

english, 2012

43

Maximally Permissive Deadlock Avoidance for Resource Allocation Systems with R/W-Locks

Nazeem, Ahmed, Reveliotis, Spyros

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 169 KB

english, 2012

44

Real-Time Control with Parametric Timed Reachability Games

Jovanović, A., Faucou, S., Lime, D., Roux, O.H.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 255 KB

english, 2012

45

Accuracy vs. Complexity: the stochastic bound approach

Salaht, F. Ait, Cohen, J., Taleb, H. Castel, Fourneau, J.M., Pekergin, N.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 1016 KB

english, 2012

46

Front cover and table of contents

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 237 KB

english, 2012

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Български