Volume 43; Issue 12

IFAC Proceedings Volumes

Volume 43; Issue 12
2

Timing-dependent boundedness and liveness in continuous Petri nets

Vázquez, C. Renato, Silva, Manuel
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 378 KB
english, 2010
3

An Algorithm to Compute the Minimal Siphons in S4 PR Nets

Cano, Elia E., Rovetto, Carlos A., Colom, José-Manuel
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 172 KB
english, 2010
4

SimHPN: a MATLAB toolbox for continuous Petri nets

Jûlvez, Jorge, Mahulea, Cristian
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 387 KB
english, 2010
6

On the Geometry of Switching Manifolds for Autonomous Hybrid Systems

Taringoo, Farzin., Caines, Peter.E
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 226 KB
english, 2010
8

IPA for Continuous Petri Nets

Giua, Alessandro, Seatzu, Carla, Wardi, Yorai
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 178 KB
english, 2010
11

A Compositional Approach for Verifying Hierarchical Interface-Based Supervisory Control

Leduc, Ryan, Malik, Robi
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 218 KB
english, 2010
12

Supremal Normal Sublanguages in Hierarchical Supervisory Control

Komenda, Jan, Masopust, Tomáš
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 133 KB
english, 2010
16

An Optimized Algorithm for Diagnosability of Component-based Systems

YE, Lina., DAGUE, Philippe.
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 276 KB
english, 2010
17

On Proportional Controller in (Min, +) Algebra

Boimond, J.-L., Lahaye, S.
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 199 KB
english, 2010
19

Max-plus Linear Observer: Application to Manufacturing Systems

Hardouin, L., Maia, C.A., Cottenceau, B., Mendes, R. Santos
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 262 KB
english, 2010
20

Control of cyclically operated High-Throughput Screening Systems

Brunsch, T., Hardouin, L., Raisch, J.
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 321 KB
english, 2010
22

SIC-testability of sequential logic controllers

PROVOST, J., ROUSSEL, J.-M., FAURE, J.-M.
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 742 KB
english, 2010
23

Computation of Projections for the Abstraction-based Diagnosability Verification

Schmidt, Klaus
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 212 KB
english, 2010
24

Robust Failure Diagnosis of Partially Observed Discrete Event Systems

Takai, Shigemasa
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 167 KB
english, 2010
25

What Topology tells us about Diagnosability in partial order semantics

Haar, Stefan
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 208 KB
english, 2010
26

On the construction of probabilistic diagnosers

Fabre, Eric, Jezequel, Loig
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 282 KB
english, 2010
29

A Rollout Method for Finite-Stage Event-Based Decision Processes

Jia, Qing-Shan
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 326 KB
english, 2010
30

Supervisor Computation and Representation: A Case Study

Åkesson, K., Lennartson, B., Fabian, M., Miremadi, S.
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 502 KB
english, 2010
34

Modeling of interval P-time Petri nets using dioid algebra

Špaĉek, Pavel, Komenda, Jan
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 285 KB
english, 2010
37

Compositional Nonblocking Verification Using Annotated Automata

Ware, Simon, Malik, Robi
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 174 KB
english, 2010
38

Techniques for the Parametrization of Discrete-Event System Templates

Grigorov, Lenko, Rudie, Karen
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 187 KB
english, 2010
39

Efficient Computation of Observer Projections using OP-Verifiers1

Pena, P.N., Cury, J.E.R., Malik, R., Lafortune, S.
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 204 KB
english, 2010
40

Modular specification of forbidden states for supervisory control

Magnusson, P., Fabian, M., Åkesson, K.
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 253 KB
english, 2010
41

Solution of a Multi-Agent Transport Problem by Hybrid Optimization

Mangesius, Herbert, Sobotka, Marion, Stursberg, Olaf
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 537 KB
english, 2010
42

TIMED PETRI NETS PERSPECTIVE ON WEAVING PROCESSES

Barad, Miryam, Cherkassky, Arkady
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 226 KB
english, 2010
43

Preface

Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 58 KB
english, 2010
44

International Programme Committee

Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 74 KB
english, 2010
45

Sampled-Data Supervisory Control

Leduc, Ryan J., Wang, Yu
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 268 KB
english, 2010
47

Synchronous composition of interval weighted automata

Komenda, Jan, Lahaye, Sébastien, Boimond, Jean-Louis
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 332 KB
english, 2010
50

Applied Supervisory Control for a Flexible Manufacturing System

Moor, Thomas, Schmidt, Klaus, Perk, Sebastian
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 379 KB
english, 2010
53

Graph Process Specifications for Hybrid Networked Systems

Twu, Philip, Martin, Patrick, Egerstedt, Magnus
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 149 KB
english, 2010
54

Diagnosability of Labeled Petri Nets via Integer Linear Programming

Basile, F., Chiacchio, P., De Tommasi, G.
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 250 KB
english, 2010
58

An Identification Technique for Timed Event Systems

Jarvis, Donald E.
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 457 KB
english, 2010
59

On-line Detection and Sensor Activation for Discrete Event Systems1

Shu, Shaolong, Huang, Zhiqiang, Lin, Feng
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 291 KB
english, 2010
60

Use of a Metric in Supervisory Control of Probabilistic Discrete Event Systems

Pantelic, Vera, Lawford, Mark
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 196 KB
english, 2010
61

On Almost-Sure Properties of Probabilistic Discrete Event Systems

Yen, Hsu-Chun
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 142 KB
english, 2010
64

Linear Time-Varying (Max,+) Representation of Conflicting Timed Event Graphs

ADDAD, B., S., AMARI, J-J., LESAGE
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 293 KB
english, 2010
65

Comparison of different classes of service curves in Network Calculus

Bouillard, Anne, Jouhet, Laurent, Thierry, Éric
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 206 KB
english, 2010
66

Augmenting Petri Nets to Model Health-Care Protocols

Whittaker, Sarah-Jane, Rudie, Karen, McLellan, James, Haar, Stefan
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 202 KB
english, 2010
67

Fault-Tolerant Control of Nondeterministic Input/Output Automata subject to Actuator Faults

Nke, Y., Lunze, J.
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 218 KB
english, 2010
70

Asymptotic throughput of stochastic max-plus linear systems.

Merlet, G.
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 196 KB
english, 2010
71

A Frequency-Domain Approach for Max-Plus Linear Systems

Shang, Ying
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 238 KB
english, 2010
72

Supervisory Control for Modal Specifications of Services

Darondeau, Philippe, Dubreil, Jérémy, Marchand, Hervé
Journal:
IFAC Proceedings Volumes
Year:
2010
Language:
english
File:
PDF, 293 KB
english, 2010