DESTC: Newsletter - November, 2006
IEEE CONTROL SYSTEMS SOCIETY TECHNICAL COMMITTEE
ON DISCRETE EVENT SYSTEMS |
| Editor: |
Ryan J. Leduc
Chair, IEEE CSS Technical Committee on DES
Dept. of Computing and Software
McMaster University
1280 Main Street West
Hamilton, Ontario
Canada L8S 4K1
Phone: (905) 525-9140 Ext. 27962
Fax: (905) 524-0340
e-mail: leduc@mcmaster.ca
WWW: http://www.cas.mcmaster.ca/~leduc/
|
DESTC Web Page: http://www.cas.mcmaster.ca/destc/
To subscribe/unsubscribe to the newsletter, please go here.
To submit news items and articles to this newsletter, go here.
It is the responsibility of the contributor to ensure that they have the necessary permissions/clearance required for the transmittal of their news item.
Contents:
1. Editorial
2. Announcements
2.1 HYCON-EECI Graduate School on Control
3. Books
3.1 Compositional Approaches in Supervisory Control with Application to
Automatic Generation of Robot Interlocking Policies", by Hugo
Flordal
3.2 Diagnosis and Fault-Tolerant Control", by Mogens Blanke, Michel
Kinnaert, Jan Lunz, Marcel Staroswiecki
3.3 Max Plus at Work: Modeling and Analysis of Synchronized Systems: A
Course on Max-Plus Algebra and Its Applications", by Bernd
Heidergott, Geert Jan Olsder, and Jacob van der Woude
3.4 Discrete-event Dynamical Systems", by Jan Lunze, (written in German
: "Ereignisdiskrete Systeme")
4. Conferences
4.1 IEEE INDIN 2007 - 5th IEEE International Conference on Industrial
Informatics, Vienna, Austria, July 23 - 26, 2007
4.2 2007 IFAC Workshop DECOM-TT 2007 , Izmir, Turkey, May 17 - 18, 2007
4.3 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems Theory and
Applications, Gdansk, Poland, July 23 - 25, 2007
4.4 IFAC/IEEE MCPL 2007 IFAC / IEEE FOURTH CONFERENCE ON MANAGEMENT AND
CONTROL OF PRODUCTION AND LOGISTICS, Siniu, Romania, September
27 - 30, 2007
4.5 IFAC CEA 2007 Conference on Cost Effective Automation in Networked
Product Development and Manufacturing, Monterrey, Mexico,
October 2 - 5, 2007
4.6 IEEE ICCA'07 - 6th IEEE International Conference on Control and
Automation, Guangzhou, China, May 30 - June 1, 2007
4.7 NOLCOS 2007 - 7th IFAC Symposium on Nonlinear Control Systems,
Pretoria, South Africa, August 22 - 23, 2007
4.8 MMAR 2007 - 13th IEEE/IFAC International Conference on Methods and
Models in Automation and Robotics, Szczecin, Poland, August 27
- 30, 2007
4.9 The 18th International Workshop on Principles of Diagnosis,
Nashville, TN, USA, May 29 - 31, 2007
4.10 ICIEA 2007 - the 2nd IEEE Conference on Industrial Electronics and
Applications, Harbin, China, May 23 - 25, 2007
4.11 7th International Conference on Application of Concurrency to System
Design (ACSD 2007), Bratislava, Slovakia, July 10 - 13, 2007
5. Journals
5.1 Selections from IEEE Transactions on Software Engineering, Vol. 32,
No. 10, October 2006
5.2 DISCRETE EVENT DYNAMIC SYSTEMS: THEORY AND APPLICATIONS, Volume 16,
Number 4, December 2006
5.3 Selections from IEEE Transactions on Systems, Man and Cybernetics, Part
A, Volume: 36, Issue: 6, November 2006
5.4 Selections from Control Engineering Practice, Volume 15, Issue 2,
February 2007
Welcome to the newsletter of the IEEE Control Systems Technical Committee Group on Discrete Event Systems!
See http://www.cas.mcmaster.ca/destc/ for information on the DESTC.
Personal note from the editor:
Welcome to the November, 2006 edition of the DESTC newsletter.
I have just returned from Gothenburg, Sweden, where I was the faculty
opponent for a PhD defense (congratulations again Hugo!). I found
Gothenburg very enjoyable to visit and I think it is an
excellent choice as the location for the next WODES. I look forward to
visiting it again in 2008!
Ryan Leduc
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
HYCON-EECI GRADUATE SCHOOL ON CONTROL
Intensive teaching: 10 independent modules; one 21 hours module per
week - Lectures taught in English - Eligible for 2nd Year Master Degree
credits and Scientific Thesis modules
Location: Supelec Gif-sur-Yvette - South of Paris
Registration fees: 150 euros per module - Deadline for registration to
each module: 2 weeks before the module starts. For more details and
registration procedure see:
http://www.ist-hycon.org/index.php?p=EECI
or contact Jamal.Daafouz@ensem.inpl-nancy.fr
Programme:
M1 12/02/2007 - 16/02/2007
Modeling Analysis and Design of Hybrid Control Systems
Joao Pedro Hespanha, Univ. of California Santa Barbara
M2 26/02/2007 - 02/03/2007
Nonlinear Adaptive Control with Applications
Alessandro Astolfi, Imperial College, London
M3 05/03/2007 - 09/03/2007
Periodic Hybrid Infinite Dimensional Systems
Nikita Barabanov, North Dakota State University
M4 12/03/2007 - 16/03/2007
Embedded Control Systems
Karl-Erik Arzen,Lund University
M5 19/03/2007 - 23/03/2007
Switched Systems and Control
Daniel Liberzon, Univ. Illinois Urbana-Champain
M6 26/03/2007 - 30/03/2007
LMI in Control
Carsten Scherer, Delft University of Technology
M7 02/04/2007 - 06/04/2007
Optimality, Stabilization and Feedback in Nonlinear Control
Francis Clarke, Univ. Claude Bernard Lyon 1
M8 09/04/2007 - 13/04/2007
Control using Petri Nets
Alessandro Giua, University of Cagliari
M9 15/04/2007 - 19/04/2007
An Introduction to Nonlinear Optimization
Fabio Schoen, University of Firenze
M10 22/04/2007 - 26/04/2007
Semidefinite Programming
Veronica Piccialli, Univ. of Rome « La Sapienza »
Partially sponsored by the HYCON NoE http://www.ist-hycon.org/ and the
ICO -
International Curriculum Option
http://www.piaggio.ccii.unipi.it/ICO/ICO.htm
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
COMPOSITIONAL APPROACHES IN SUPERVISORY CONTROL WITH APPLICATION TO
AUTOMATIC GENERATION OF ROBOT INTERLOCKING POLICIES
Hugo Flordal
Chalmers University of Technology, 2006
ISBN 91-7291-860-8
http://publications.lib.chalmers.se/records/full_record/fetchall.xsql?pubid=22793&back=yes
Abstract:
The work presented in this thesis concerns verification and synthesis
in the Ramadge and Wonham supervisory control framework. Supervisory
control constitutes a formal framework for the design of supervisors
for discrete event systems. These systems usually model high level
descriptions of logical behaviours in applications such as flexible
manufacturing processes, chemical batch processing systems and
communication systems. In particular, this thesis considers
interlocking requirements in industrial robot cells. The supervisory
control framework has the potential to solve many safety and
flexibility issues in such systems.
Unfortunately, the analysis of discrete event systems involves an
intrinsic difficulty known as the state-space explosion problem---a
combinatorial explosion that soon occurs when problems of real-world
complexity are analysed. The state-space explosion problem has given
rise to much research and in the last decades many ingenious approaches
to solving the problem have been presented. However, most of these
approaches have in common that they can only be applied to special
classes of supervisory control problems or that they only give partial
solutions.
Therefore, in a new attempt to overcome the state-space explosion
problem for general supervisory control problems, this thesis develops
compositional methods for verification and synthesis in the supervisory
control framework. Compositional methods exploit the inherent
modularity of discrete event models by using abstractions to
incrementally hide already analysed behaviour of the system. A major
part of the thesis concerns developing a methodology for calculating
these abstractions and for applying the compositional approach to
complex problems. Furthermore, a very important part of this work is
the implementation of the compositional methods in a software tool for
supervisory control. Experimental results from this implementation are
also presented in the thesis.
As a matter of fact, earlier work on computational complexity have
shown that it is impossible to solve the state-space explosion problem
efficiently for general problems. Even so, the results presented in
this thesis show that "large" supervisory control problems found in the
literature typically have enough structure in them to be solved
efficiently by compositional methods.
Another contribution of this thesis is the development of a method to
automatically generate models of the necessary interlocking
requirements with respect to robot collisions in industrial robot
cells. The generated models are suitable for supervisor synthesis in
the supervisory control framework as well as for work-cycle
optimisation. Automatic model generation and synthesis are important
factors for shortening the development time and improving the
flexibility for industrial robot cells.
Bibliography info:
Hugo Flordal, "Compositional Approaches in Supervisory Control---with
Application to Automatic Generation of Robot Interlocking Policies,"
Ph.D. dissertation, Department of Signals and Systems, Chalmers
University of Technology, Goteborg, Sweden, Oct. 2006.
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
DIAGNOSIS AND FAULT-TOLERANT CONTROL
Mogens Blanke, Michel Kinnaert, Jan Lunz, Marcel Staroswiecki
Springer-Verlag, Heidelberg 2006, 2006
ISBN 3-540-35652-5
http://www.rub.de/atp
Fault-tolerant control aims at a graceful degradation of the behaviour
of automated systems in case of faults. It satisfies the industrial
demand for enhanced availability and safety, in contrast to traditional
reactions to faults that bring about sudden shutdowns and loss of
availability.
The book presents effective model-based analysis and design methods for
fault diagnosis and fault-tolerant control. Architectural and
structural models are used to analyse the propagation of the fault
throught the process, to test the fault detectability and to find the
redundancies in the process that can be used to ensure fault tolerance.
Design methods for diagnostic systems and fault-tolerant controllers
are presented for processes that are described by analytical models, by
discrete-event models or that can be dealt with as quantised systems.
Five case studies on pilot processes show the applicability of the
presented methods. The theoretical results are illustrated by two
running examples used throughout the book.
The book addresses engineering students, engineers in industry and
researchers who wish to get a survey over the variety of approaches to
process diagnosis and fault-tolerant control.
The authors have extensive teaching experience with graduate and PhD
students as well as industrial experts. Parts of this book have been
used in courses for this audience. The authors give a thorough
introduction to the main ideas of diagnosis and fault-tolerant control
and present some of their most recent research achievements that they
have obtained together with their research groups in a close
cooperation within European research projects.
The second edition includes new material about reconfigurable control,
diagnosis of nonlinear systems, and remote diagnosis. The application
examples are extended by a steering-by-wire system and the air path of
a diesel engine, both of which include experimental results. The
bibliographical notes at the end of all chapters have been up-dated.
The chapters end with exercises to be used in lectures.
For more information see http://www.rub.de/atp -> Books
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
MAX PLUS AT WORK: MODELING AND ANALYSIS OF SYNCHRONIZED SYSTEMS: A
COURSE ON MAX-PLUS ALGEBRA AND ITS APPLICATIONS
Bernd Heidergott, Geert Jan Olsder, and Jacob van der Woude
Princeton University Press, 2005
ISBN 0-691-11763-2
http://www.pupress.princeton.edu/titles/8120.html
Trains pull into a railroad station and must wait for each other before
leaving again in order to let passengers change trains. How do
mathematicians then calculate a railroad timetable that accurately
reflects their comings and goings? One approach is to use max-plus
algebra, a framework used to model Discrete Event Systems, which are
well suited to describe the ordering and timing of events. This is the
first textbook on max-plus algebra, providing a concise and
self-contained introduction to the topic.
TABLE OF CONTENTS
Preface ix
Chapter 0. Prolegomenon 1
0.1 Introductory Example 1
0.2 On the Notation 3
0.3 On Eigenvalues and Eigenvectors 6
0.4 Some Modeling Issues 7
0.5 Counter and Dater Descriptions 8
0.6 Exercises 9
0.7 Notes 10
PART I. MAX-PLUS ALGEBRA 11
Chapter 1. Max-Plus Algebra 13
1.1 Basic Concepts and Definitions 13
1.2 Vectors and Matrices 17
1.3 A First Max-Plus Model 20
1.4 The Projective Space 24
1.5 Exercises 25
1.6 Notes 26
Chapter 2. Spectral Theory 28
2.1 Matrices and Graphs 28
2.2 Eigenvalues and Eigenvectors 36
2.3 Solving Linear Equations 42
2.4 Exercises 44
2.5 Notes 45
Chapter 3. Periodic Behavior and the Cycle-Time Vector 47
3.1 Cyclicity and Transient Time 48
3.2 The Cycle-Time Vector: Preliminary Results 56
3.3 The Cycle-Time Vector: General Results 62
3.4 A Sunflower Bouquet 67
3.5 Exercises 69
3.6 Notes 70
Chapter 4. Asymptotic Qualitative Behavior 72
4.1 Periodic Regimes 72
4.2 Characterization of the Eigenspace 74
4.3 Primitive Matrices 79
4.4 Limits in the Projective Space 80
4.5 Higher-Order Recurrence Relations 82
4.6 Exercises 83
4.7 Notes 84
Chapter 5. Numerical Procedures for Eigenvalues of Irreducible Matrices
85
5.1 Karp's Algorithm 85
5.2 The Power Algorithm 91
5.3 Exercises 94
5.4 Notes 94
Chapter 6. A Numerical Procedure for Eigenvalues of Reducible Matrices
95
6.1 Howard's Algorithm 96
6.2 Examples 102
6.3 Howard's Algorithm for Higher-Order Models 108
6.4 Exercises 110
6.5 Notes 111
PART II. TOOLS AND APPLICATIONS 113
Chapter 7. Petri Nets 115
7.1 Petri Nets and Event Graphs 115
7.2 The Autonomous Case 119
7.3 The Nonautonomous Case 122
7.4 Exercises 124
7.5 Notes 125
Chapter 8. The Dutch Railway System Captured in a Max-Plus Model 126
8.1 The Line System 126
8.2 Construction of the Timed Event Graph 130
8.3 State Space Description 132
8.4 Application of Howard's Algorithm 137
8.5 Exercises 138
8.6 Notes 139
Chapter 9. Delays, Stability Measures, and Results for the Whole
Network 140
9.1 Propagation of Delays 140
9.2 Results for the Whole Dutch Intercity Network 145
9.3 Other Modeling Issues 148
9.4 Exercises 151
9.5 Notes 152
Chapter 10. Capacity Assessment 153
10.1 Capacity Assessment with Different Types of Trains 153
10.2 Capacity Assessment for a Series of Tunnels 154
10.3 Exercises 158
10.4 Notes 159
PART III. EXTENSIONS 161
Chapter 11. Stochastic Max-Plus Systems 163
11.1 Basic Definitions and Examples 164
11.2 The Subadditive Ergodic Theorem 167
11.3 Matrices with Fixed Support 171
11.4 Beyond Fixed Support 174
11.5 Exercises 175
11.6 Notes 176
Chapter 12. Min-Max-Plus Systems and Beyond 177
12.1 Min-Max-Plus Systems 177
12.2 Links to Other Mathematical Areas 187
12.3 Exercises 189
12.4 Notes 190
Chapter 13. Continuous and Synchronized Flows on Networks 191
13.1 Dater and Counter Descriptions 191
13.2 Continuous Flows without Capacity Constraints 192
13.3 Continuous Flows with Capacity Constraints 197
13.4 Exercises 199
13.5 Notes 200
Bibliography 201
List of Symbols 206
Index 209
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
DISCRETE-EVENT DYNAMICAL SYSTEMS
Jan Lunze, (written in German : "Ereignisdiskrete Systeme")
Oldenbourg-Verlag, Munich, 2006
ISBN 978-3-486-58071-6
http://www.rub.de/atp
This textbook is a thorough introduction to discrete-event dynamical
systems. The modelling and analysis methods are explained and
illustrated by numerous examples from different application areas like
computer science, control engineering and electronics.
The book consists of three parts. The first part introduces the main
concepts and notions as well as fundamental properties of dynamical
systems with discrete signal spaces. The second part starts with a deep
description of automata theory, where standard automata used in
computer science as acceptors of regular languages as well as
input-output automata investigated in control theory for modelling
dynamical systems with and without control are considered. Extensions
of this basic model leads to automata networks and Petri nets. The
third part of the book extends these models to Markov chains,
Semi-Markov models, timed automata and timed Petri nets.
The book illustrates the main ideas by 80 examples. It contains 110
exercises, most of them with solutions.
This textbook is based on a lecture for electrical engineering and
computer science students in the second year.
For more information: http://www.rub.de/atp -> Books
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
IEEE INDIN 2007 - 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL
INFORMATICS
Vienna, Austria
July 23 - 26, 2007
INDIN 2007 is the 5th International Conference on Industrial
Informatics.
It is sponsored by the Industrial Electronics Society of the IEEE. It
aims to network researchers, academics, engineers, and industry
experts to discuss break-through research, new ideas, recent
developments, and new applications related to industrial informatics.
Come and meet other experts in the field, and benefit from cutting-
edge research presentations, personal discussions, whilst enjoying an
exhilarating social program in the charming city of Vienna.
Prospective authors are invited to electronically submit a full paper
(6 pages, about 4500 words, PDF format) of their original work
following the IEEE instructions available on the conference web page.
------------------------------------
TOPICS AND TRACKS
T01 Buildings, Networks and Automation
Chairs: Klaus Kabitzsch, Wolfgang Kastner, Seung Ho Hong
Powerline and wireless networks
Fieldbus and IP-based networks
Convergence of networks
Interoperability and middleware
Remote access and administration
Modeling and simulation
Facility management and new services
Visualization and web-services
T02 Security and Safety
Chairs: Peter Wratil, Walter Penzhorn, Peter Fischer
High availability and fault tolerant systems
Security models and risk management
Functional & electrical safety
Security in IT and Industrial Informatics
Hardware, protocols and operating systems
Privacy and anonymity
E-Commerce and E-Government
Applications
T03 Factory Automation
Chairs: Jing Bing Zhang, Martin Wollschlaeger, Josep Fuertes
Real-time systems
IP in factory automation
Interoperability
Autonomous and agent systems
Formal methods and simulation
Tools & platforms
Intelligent production systems
Factory communication
T04 Applications of Industrial Informatics
Chairs: Francisco Vasques, Tuan Dang, Christoph Grimm
Transport and logistics
Biomedical systems
Automobile systems
Power and energy systems
Aerospace systems
Multimedia systems
Telecommunication systems
Industrial electronics
T05 Robotics and autonomous Systems
Chairs: Ivan Petrovic, Louis Gomes,
Gregor Novak
Embedded systems
Low-power and power-aware systems
Modeling and simulation
Collaborative systems
Infomechatronics
Image processing
HW/SW co-design
Applications
T06 Infrastructure and Technology
Chairs: Jean Pierre Thomesse, Jose Fonseca, Thilo Sauter
Distributed and collaborative systems
Standardization
Robust communication
Wide area systems
Intelligent systems
Smart sensors
Embedded systems
Knowledge management
T07 E-Applications
Chairs: Aleksander Malinowski, Hermann Kaindl, Mihaela Ulieru
E-Logistics
E-Factory
Workflow and supply chain management
Decision support
Object oriented methods
Information integration
Semantic Web
E-Business and E-Marketing
T08 Cognitive Science in Industrial Informatics
Chairs: Dan Wilamowski, Rainer Unland, Robert Trappl
Artificial Intelligence
Expert systems
Intelligent algorithms
Architectures and Applications
Data management and multisensor fusion
Modeling and simulation
Ontologies
Human Machine Interaction
T09 Service-Oriented Architecture
Chairs:Jose L. Martinez Lastra, Harm Smit
Web Services in Industrial Environment
Orchestration and choreography
Semantic Web Services and Ontologies
Middleware infrastructures
Service discovery and matchmaking
Legacy system integration
Real-time issues
Engineering tools and frameworks
T10 Embedded and Networked Control in Collaborative Manufacturing
Chairs:Luca Ferrarini, Valeriy Vyatkin, Robert Brennan
Standards, Architectures, Platforms, Tools and Methodologies
Reconfigurable and self-configurable systems
Plug and play of automated systems
Ambient information environments in enterprise and beyond
Communications within and between embedded systems
Object-oriented and model-based engineering, Formal models
Remote maintenance and security solutions
Fault-tolerant architectures and systems
Find details on the conference web page and on the PDF CFP
http://www.indin2007.org/INDIN07-CFP.pdf
------------------------------------
IMPORTANT DATES
Nov. 15, 2006 Special Session proposals
Dec. 15, 2006 Full paper submissions
Feb. 15, 2007 Notification of acceptance
Mar. 15, 2007 Camera-ready submission
------------------------------------
INDIN 2007 General Chairs
Dietmar Dietrich (Vienna Univ. of Technology), Austria
Gerhard Hancke (Univ. of Pretoria), South Africa
INDIN 2007 Technical Program Chair
Peter Palensky (Vienna Univ. of Technology), Austria
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
2007 IFAC WORKSHOP DECOM-TT 2007
Izmir, Turkey
May 17 - 18, 2007
IFAC Workshop DECOM-TT 2007
Technology Transfer in Developing Countries: Automation in
Infrastructure Creation - TT
SPONSORED BY
IFAC Technical Committee on Developing Countries (TC-9.3)
Dokuz Eylul University of Izmir (DEU)
The Scientific and Technical Research Council of Turkey (TUBITAK)
Dogus University of Istanbul (DOU)
CO-SPONSORED BY
IFAC Technical Committees on:
Control Education (TC-9.4)
Cost Oriented Automation (TC-4.4)
Economic and Business Systems (TC-9.1)
Enterprise Integration and Networking (TC-5.3)
Intelligent Autonomous Vehicles (TC-7.5)
Mechatronic Systems (TC-4.2)
Modelling and Control of Environmental Systems (TC-8.3)
Power Plants and Power Systems (TC-6.3)
Robust Control (TC-2.5)
Social Impact of Automation (TC-9.2)
Supplemental Ways for Improving Internal Stability (TC-9.5)
Robotics (TC-4.3)
Transportation Systems (TC-7.4)
TOPICS
Applied Robotics and Automation in Industry;
Updating of Industrial Control Infrastructure and Appropriate
Reshaping of Industrial Infrastructure;
Updating of Industrial Control Infrastructure in Agricultural
Production; Applied Analytical and Intelligent System Methodologies;
Design and Implementation of Math-analytical and Intelligent
Controls;
Control Education and Automation, Control and Supervision of Public
Service Buildings;
Automation, Control and Supervision of Transportation Systems;
Automation, Control and Supervision of Telecommunication Systems;
Automation, Control and Supervision of Electrical Energy and Power
Systems;
Automation, Control and Supervision of Thermal Energy and Power
Systems;
Control and Management of Water Resources and Water Supply Systems;
Control and Management of Environmental Systems in Natural Disasters;
Management Systems to Control Environmental Additional Special
Sessions: Special invited sessions on Control Education and
Technology Transfer
INTERNATIONAL PROGRAM COMMITTEE (IPC)
Honorary Members:
V. Kucera
M. Mansour
Y. Sawaragi
A.T.Dinibutun
T. Vamos
M. Thoma
S. Kahne
S.Hirose
P. Albertos
Y. Z. Lu
B. D. Anderson
Chair:
Tatjana Kolemishevska Gugulovska (MK)
Vice-Chair:
L. Goren (TR)
Editor and Vice-Chair:
G. M. Dimirovski (MK, TR)
IMPORTANT DATES
Draft-paper submission: December 20, 2006
Paper review: January 21, 2007
Information back to authors: February 15, 2007
Submission of final versions (6 double-column pages of standard IFAC
format and style) of the accepted papers: March 15, 2007.
Editorial work on Proceedings and Final Program: April 15, 2007
Proceedings printing and emailing FP to authors: April 20, 2007
Workshop date: May 17-18, 2007.
FEES
Late registration fee: 200 Euros
Early registration fee: 125 Euros
Student registration fee: 125 Euros
Early registration deadline: 15.02.2007
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
11TH IFAC/IFORS/IMACS/IFIP SYMPOSIUM ON LARGE SCALE SYSTEMS THEORY AND
APPLICATIONS
Gdansk, Poland
July 23 - 25, 2007
INVITATION
The Organizing Committee has the pleasure of inviting you to
participate in the
11th IFAC/IFORS/IMACS/IFIP
Symposium on Large Scale Systems
Theory and Applications
to be held in Gdansk, Poland, 23-25 July 2007 under the auspices of
IFAC, the International Federation of Automatic Control.
The symposium covers all major aspect concerning large scale complex
systems. It treats both theory and specific applications in large
scale complex systems. The aim of the meeting is to promote the
research activities and the cooperation between researchers in these
areas.
SCOPE OF THE SYMPOSIUM
The 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems:
Theory and Applications is a core triennial event of IFAC Technical
Committee on Large Scale Complex Systems. It has been held in
Touoluse (1980), Warsaw (1983), Zurich (1986), Berlin (1989), Beijing
(1992), London (1995), Patras (1998), Bucharest (2001) and Osaka
(2004).
Traditionally, the LSS Symposium has considered generic issues
arising in large scale complex systems and also has addressed
relevant application areas. Advances in computer and network
technologies on one hand and natural development of civilization on
the other hand have produced new and highly complex large scale
systems. Also, solving problems related to existing large scale
systems that have not been solved yet have now become possible.
The meeting is to discuss new developments in methodologies and
techniques useful in handling complexity in the modelling, decision
support, control and design of large scale complex system. The
methodologies and tools for the complexity analysis are to be among
the key issues to be addressed by the Symposium. As in the past, a
number of application areas will be addressed. Special attention will
be paid to environmental systems in order to respond to increasing
demand on suitable methodologies and tools.
The Mini-Symposium on Technology, Automation and Automatic Control of
Wastewater and Drinking Water Systems will be organised by Working
Group on Monitoring and Control of Large Scale Water and Wastewater
Systems as an integral component of the Symposium.
It has now become clear that successful problem solving in large
scale complex systems requires interdisciplinary teams to be
involved. It has been recently recognised that proper and broad
education of system thinking is a key factor in preparing
infrastructure that is needed to set up such teams. Hence, the topic
of system thinking education for problem solving in large scale
complex systems will be addressed by a technical session. Finally,
the business systems are to be stronger addressed than it was done in
past.
TOPICS
decentralisation
intelligent control
decision support systems
optimisation and control technologies for large scale complex systems
identification and model reduction
dynamics and control of large scale structures
hierarchical multilevel - multilayer control
modelling and control of discrete event and hybrid systems
methodologies and tools for analysis of complexity
analysis of heterogeneous knowledge in modelling of large scale
complex systems
knowledge discovery (data mining)
supervisory control
system thinking education for problem solving in large scale complex
systems
APPLICATIONS TO INCLUDE
application of estimation and control to aerospace engineering
environmental systems
petrochemical and refinery systems
marine systems with an emphasis on safety issues
power systems
transportation systems
navigation and control of unmanned autonomous vehicles
communication systems
intelligent manufacturing systems
medical systems
business systems engineering
modelling of socio-economic processes
transnational socio-economic systems
transnational socio-technical systems
conflict management and resolution
SCIENTIFIC SPONSORSInternational Federation of Automatic Control
(IFAC)
National Member Organization
Polish Society for Measurement, Automatic Control and Robotics -
POLSPAR
Main Sponsor
IFAC Technical Committee 5.4 on Large Scale Complex Systems
Co-Sponsors
IFAC TC 1.1 Modelling, Identification and Signal Processing
IFAC TC 1.3 Discrete Event and Hybrid Systems
IFAC TC 5.1 Manufacturing Plant Control
IFAC TC 6.3 Power Plants and Power Systems
IFAC TC 6.4 Fault Detection, Supervision & Safety of Techn.
Processes - SAFEPROCESS
IFAC TC 7.2 Marine Systems
IFAC TC 7.4 Transportation Systems
IFAC TC 8.3 Modelling and Control of Environmental Systems
IFAC TC 8.4 Biosystems and Bioprocesses
IFAC TC 9.1 Economic and Business Systems
IFAC TC 9.3 Developing Countries
IFAC TC 9.4 Control Education
IFAC TC 9.5 Supplemental Ways for Improving International Stability
(SWIIS)
International Federation of Operational Research Societies (IFORS)
International Association for Mathematics and Computers in Simulation
(IMACS)
International Federation for Information Processing (IFIP)
Technical Co-Sponsors
IEEE Computational Intelligence Society
IMPORTANT DATES
Event Date
First Announcement and Call for papers June 1, 2006
Draft Paper Submission Opens July 15, 2006
Draft Paper Submission Closes November 26, 2006
Notification of Acceptance February 1, 2007
Deadline for Final Paper Submission March 23, 2007
Early Registration April 23, 2007
Regular Registration June 1, 2007
Final LSS2007 Programme June 23, 2007
LSS2007 Symposium July 23-25, 2007
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
IFAC/IEEE MCPL 2007 IFAC / IEEE FOURTH CONFERENCE ON MANAGEMENT AND
CONTROL OF PRODUCTION AND LOGISTICS
Siniu, Romania
September 27 - 30, 2007
CALL FOR PAPERS
IFAC / IEEE FOURTH CONFERENCE ON
MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS
MCPL 2007
27 - 30 September 2007
SIBIU - ROMANIA
SPONSORED by IFAC
International Federation of Automatic Control
Technical Committee:
- Large Scale Complex Systems.
Co-Sponsoring Technical Committees:
- Manufacturing, Modelling, Management and Control.
- Advanced Manufacturing Technology.
- Components and Instruments.
- Low Cost Automation.
- Robotics.
CO-SPONSORS
IEEE Romania Institute of Electrical and Electronics
Engineers, Romania Technical Branch
NATIONAL SPONSORS
SRAIT Romanian IFAC NMO
LBUS "Lucian Blaga" University of Sibiu.
SCOPE
The conference will bring together researchers and engineers
from four different areas - Management, Control, Production
and Logistics - to promote a synergy among different
disciplines in order to solve complex industrial problems.
This meeting covers recent progress in the conference topics
encompassing methodological approaches, methods, tools
and applications.
TOPICS
Factory Automation, Robotics and Man
- Mechatronics, Robotics and Instrumentation.
- Robust, Reactive and Intelligent Control.
- Robot Control.
- Supervision: Cell Control and Shop Floor Logistics
- Artificial Intelligence.
- Man - Machine and Cooperative Systems.
- Human Factors.
Process, Manufacturing and Logistics: Modelling and Control
- Discrete-Event, Hybrid and Continuous Systems.
- Production Control, Control Systems.
- Monitoring, Diagnosis and Maintenance.
- Supply Chain Integration and Management Issues.
- Lean/Agile/Virtual Manufacturing.
- Concurrent Engineering.
- Recycling and Life Cycle Management.
Decision-Support Systems: Concepts, Methods and Algorithms
- Hierarchical, Distributed Network and Multiagent System
Organisations.
- Real -Time Decision and Control Algorithms.
- Optimisation Methods and Simulation Tools.
- Artificial Intelligence Tools, Neural Networks, Fuzzy Logic.
- Autonomy, Adaptability, Optimality, Reactivity, Reliability,
Robustness.
Computer Science and Computer Engineering
- Computer Architecture and Embedded Systems.
- Artificial Intelligence and Multi-Agent Systems.
- Parallel and Distributed Systems.
- Databases and Data Mining.
- Ubiquitous Computing.
- Web-based Distributed Applications.
- Software Engineering.
Information Technology in Control, Production, Logistics and
Management
- Real-Time Systems and Local Networks.
- Factory Communication, Workflow and Database Management.
- Industrial Applications of Intelligent Systems.
- Computer Supported Cooperative Work.
- Holonic Manufacturing Systems.
- Man-Machine Integration, Multi-media Support.
- Artificial Intelligence in Production and Logistics Management.
Industrial Applications
- Manufacturing Production.
- Chemical, Biotechnological and Other Industries.
- Transport and Services.
- Recycling and Environment.
Other Topics, Methods and Applications
IMPORTANT DATES
10 March 2007
- Full draft regular paper submission.
- Extended abstracts for poster and industrial session submission.
- Invited session proposals.
- Academic and industrial stand exhibition proposals.
1 June 2007
- Notification of acceptance.
30 June 2007
- Camera ready copy of the accepted papers.
LANGUAGE
The language of the conference is English. No simultaneous
translation will be provided.
CONFERENCE FEES
Registration Fee US $ 450 - EURO 350
Early Registration Fee US $ 400 - EURO 300
Student Registration Fee US $ 75 - EURO 50
INSTRUCTIONS FOR AUTHORS
Prospective authors are invited to submit a full draft paper for the
regular sessions. The proposals should be written in English and
be submitted in electronic (Word or PDF, see web site) or paper
version (5 copies) free format. The final paper should be written
in English: 6 two column A4 (210 mm x 297 mm) pages, 10 pts
Times-New Roman and single line spacing. The first page should
contain the paper's title, authors' names and affiliations, the
complete address of the corresponding author (fax, phone, Email),
a brief abstract and key words.
Prospective authors are invited to submit an extended abstract
(1000 words) for poster and industrial sessions.
The proposal of invited sessions comprising 5 full draft papers or
extended abstracts (1000 words) should be submitted by the
session organiser.
INTERNATIONAL PROGRAM COMMITTEE
Chairman:
Lucian Vintan Romania
Vice-Chairs from industry:
Brand A. Germany
Magda R. Romania
Vice-Chairmen:
Binder Z. France
Dumitrache I. Romania
Popescu D. Romania
SECRETARIAT
MCPL 2007 Conference Secretariat
Lucian Blaga University of Sibiu
B-dul Victoriei, 10, 550024 - SIBIU, ROMANIA
Tel: +40.269.217928 / Fax: +40.269.212716
E-mail: mcpl2007@ulbsibiu.ro
http://mcpl2007.ulbsibiu.ro
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
IFAC CEA 2007 CONFERENCE ON COST EFFECTIVE AUTOMATION IN NETWORKED
PRODUCT DEVELOPMENT AND MANUFACTURING
Monterrey, Mexico
October 2 - 5, 2007
IFAC CEA 2007 Conference on Cost Effective Automation in Networked
Product Development and Manufacturing
Meeting Scope and Objective
Cost Effective Automation is strongly related with the growth of
emerging economics in their goal to reach high quality and
productivity in their manufactured products. The Joint Conference
ofthe IFAC Technical Committees of Cost Oriented Automation and
Enterprise Integration and Networking is focused on practical use of
those technologies associated with cost effective automation.
However, participants are encouraged to present the results of
theoretical research together with application experiences Web-based
technologies are considered as candidates for cost savings when used
in an appropriate organizational structure.
Intelligent solutions using standard components, as well as advanced
technologies, integrated information processing in components (smart
devices), wireless connections of sensors, actuators and controllers,
and also application of field robots in several domains such as
manufacturing plants, agriculture, and domotics are candidates for
reducing cost.
Topics
Architecture and software tools for enterprise integration and
networking
Human collaboration with automation systems
Sensor and data fusion
Cost reduction with e-maintenance systems
Low cost micro-, electro-mechanical systems (MEMS)
SME-oriented automation and decision support systems
Low cost automation case studies
Advances in automation education
Integration technologies applied to product development and
manufacturing
Efficient use of intelligent machinery and automation systems
e-technologies in networked product development and manufacturing
Timetable
Draft papers submissions Feb 2, 2007
Workshop proposal Feb 28, 2007
Poster submissions Mar 30,2007
Acceptance/Rejection April 13, 2007
Final papers submissions May 28, 2007
Instructions for Authors
Authors are invited to electronically submit the papers (in PDF
format), following the instructions available on the website:
www.elsevier.com/locate/ifac.
All papers, either for review or publication (after acceptance), must
be limited to 6 pages formatted in the standard 2-column proceedings
format.
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
IEEE ICCA'07 - 6TH IEEE INTERNATIONAL CONFERENCE ON CONTROL AND
AUTOMATION
Guangzhou, China
May 30 - June 1, 2007
The 6th IEEE International Conference on Control and Automation (IEEE
ICCA'07) will be held on May 30 to June 1, 2007, in Guangzhou, China.
The conference is jointly organized by the IEEE Control Systems
Chapter, Singapore and IEEE Control Systems Chapter, Guangzhou,
China, sponsored by South China University of Technology, China and
Chinese University of Hong Kong, Hong Kong, technically co-sponsored
by IEEE Control Systems Society.
It is to create a forum for scientists and practicing engineers
throughout the world to present the latest research findings and
ideas in the areas of control and automation.
The Proceedings of IEEE ICCA are included in ISI Proceedings (ISTP),
EI Compendex, and IEEE Xplore. Topics of interest include but not
limited to:
Modeling of Complex Systems Optimal Control
Linear Systems Discrete Event Systems
Robust and H-infinity Control Adaptive Control
Nonlinear Systems and Control Learning Systems
Fuzzy and Neural Systems Intelligent and AI Based Control
Estimation and Identification Real-time Systems
Fault Detection Sensor and Data Fusion
Process Control & Instrumentation Robotics
Motion Control Automated Guided Vehicles
Flexible Manufacturing Systems Control Education
Integrated Manufacturing Control Applications
Factory Modeling and Automation Process Automation
Petri-Nets and Applications Man-machine Interactions
Micro and Nano Systems Smart Structures
Submission of Papers:
Authors should submit the full version of their manuscripts
electronically online through the ICCA'07 manuscript submission site
http://icca.elite.sg/.
General inquiries should be addressed to the Program Chair, Professor
Gang (Gary) Feng, at the City University of Hong Kong
(icca2007@ntu.edu.sg).
Proposals for invited sessions in the related areas are also
solicited and should be submitted through email to the Invited
Session Chair, Professor Yuan Wang, at Florida Atlantic University
(icca2007@ntu.edu.sg).
All materials must be written in English, and a paper should be
submitted only if you intend to present the paper at the conference.
The manuscript to be submitted to the conference should contain
sufficient details including key concepts and novel features of the
work. It should include the title, authors, mailing addresses,
affiliations, telephone and fax numbers and email addresses.
Important Dates:
Paper Submission Deadline: extended to November 15, 2006
Notification of Acceptance: December 31, 2007
Submission of Final Papers: March 1, 2007
Conference: May 30-June 1, 2007
Official Conference Web Site:
http://hdd.ece.nus.edu.sg/~icca07/
(http://www.ieee-icca.org)
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
NOLCOS 2007 - 7TH IFAC SYMPOSIUM ON NONLINEAR CONTROL SYSTEMS
Pretoria, South Africa
August 22 - 23, 2007
The IFAC NOLCOS symposium is a continuing series of symposia that were
previously held in Capri (I) 1988, Bordeaux (F) 1992, Lake Tahoe
(USA) 1995, Enschede (NL) 1998, Saint-Petersburg (RUS) 2001, and
Stuttgart (DE) 2004.
Nonlinear control systems have gained importance in many industrial
areas and research has undergone significant developments recently.
There are significant challenges in various fields of nonlinear
control. NOLCOS 2007 will address these challenges with its focus on
latest developments in theory and application of nonlinear control
systems as well as related areas of research and engineering.
Acknowledged as the major international gathering of leading experts
in industry and academia in nonlinear control, NOLCOS aims at
strengthening contacts between academia and industry to build up new
networks and cultivate existing relations. High-level speakers will
present the global spectrum of nonlinear control systems, state-of-
the-art applications and developing directions.
Proposed Areas (with proposed Chair)
- Modelling and identification of nonlinear systems (K. Schlacher)
Nonlinear modelling and control of mechanical, electrical and
process systems, smart structures, aerospace and marine applications,
computer algebra based methods and tools, numerical methods, bilinear
systems, system structure identification, experiment design,
parameter estimation
- Nonlinear systems optimal and predictive control (L. Magni)
optimal control, necessary conditions, time optimal control,
feasibility and stability issues, robustness, computational
efficiency, performance issues, disturbance attenuation, NMPC
applications
- Mathematical theory, stability and stabilization of nonlinear
systems (W. Kang)
Stability, i/o stability, absolute stability, input to state
stability (ISS), small gain theorems, dissipativity, passivity,
stabilization, Lyapunov methods, dynamical systems techniques,
bifurcation and chaos, fundamental limitation of control
- Nonlinear systems complexity and networking (S. Celikovsky)
Computational complexity, computer network systems, computer
network management, complex network, sensor network, river network,
network routing, chaos control, anti-control and synchronization,
- Nonlinear systems observation and observers (H. Shim)
Observability and observer design, filter design, state
estimation and applications, adaptive observers, adaptive filters,
observer and filter design by observer error linearization, Laypunov
stability methods, I/O stability methods, applications of observer
design, observer based fault detection,
- Nonlinear systems feedback design methods (E. Aranda-Bricaire)
Algebraic methods, linear algebraic methods, geometric
methods, backstepping, variable structure control and sliding mode,
H? control, system inversion,
- Nonlinear systems feedback design problems (A. Astolfi)
Feedback linearization, output tracking and regulation, model
matching, disturbance rejection, decoupling, design problems by
output/measurement feedback, trajectory tracking, robustness issues,
servo
- Nonlinear systems feedback design advances (ZP Jiang)
robust and adaptive control, optimal control, control of
sampled data systems, discrete event and hybrid systems, quantized
feedback and feedback with communication constraints, switching,
invariance, stochastic control
- Nonlinear process control and application (N. Kazantis)
Batch processing, chemical process, mining, mineral and
metal, model based control, optimization and scheduling, process and
control monitoring, Process Control Applications
- Application and implementation of nonlinear systems and control
(E. Boje)
Components and instruments, mechatronic systems, robotics,
manufacturing, power systems, automotive systems, marine systems,
aerospace, transportation systems, biological and biomedical
systems.
The following dates are important to diarise:
30 April 2006
Paper submission site opens
8 December 2006
Deadline for special session proposals
21 December 2006
Deadline for draft paper submission
5 April 2007
Authors notified of acceptance/rejection
22 May 2007
Deadline for final paper submission
22 June 2007
Deadline for early registration
22 August 2007
Conference starts
The paper submission site for NOLCOS 2007 can be found by following
the Paper Submission link from www.nolcos2007.org.za . Alternatively,
visit the submission site directly at
http://www.nolcos2007.org.za/start/www/NOLCOS2007/submit.html
Submit manuscripts according to the following prescribed format:
-Please submit your draft paper (A4 size) with 6 pages in English
before December 21, 2006.
-The draft paper should clearly show the merits of the new
contributions, the relevance to the topics and areas of NOLCOS 2007
and related literature to allow a fair reviewing procedure by the
International Program Committee.
-Only unpublished material may be submitted. Papers should be
prepared in accordance with the IFAC-Elsevier style (style files are
available on the conference homepage).
-Please structure the first page as follows: (1) title, (2) each
author's name and affiliation, (3) abstract (up to 300 words),
(4) up to 10 keywords.
-Acceptable file formats are Word, PDF and PS. Draft and final papers
should be submitted electronically via the official homepage of
NOLCOS 2007.
-For users of Latex, style files found under the heading "Preparing
IFAC papers with LaTeX " at the Elsevier website can aid manuscript
preparation.
-For users of Word, a style file is available for download on the
conference web site.
-Authors who have been invited to submit their paper as part of a
special session are required to indicate the organizer's name and the
session title in the covering letter when they submit their papers. A
sub-area chair will handle the reviewing process.
-Persons wishing to organize a special session need to write a
proposal and send it to the IPC chair, Prof. X. Xia,
(ipc@nolcos2007.org.za), before the 8th of December 2006, and
organize the authors to submit their papers to the IPC via the
submission page. A sub-area chair will handle the reviewing process.
The assigned sub-area chair could contact the organizer for potential
reviewers.
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
MMAR 2007 - 13TH IEEE/IFAC INTERNATIONAL CONFERENCE ON METHODS AND
MODELS IN AUTOMATION AND ROBOTICS
Szczecin, Poland
August 27 - 30, 2007
SCIENTIFIC CO-SPONSORS:
IEEE Robotics & Automation Society
IEEE Control Systems Society
IFAC Technical Committee on Robotics
IFAC Technical Committee on Nonlinear Control Systems
Committee for Automation and Robotics
Committee for Metrology and Instrumentation
Polish Academy of Sciences, Warsaw
SCOPE
The objective of the Conference is to bring together scientists and
engineers to present and discuss recent developments in the area of
mathematical methods, modeling, simulation and identification in
automation and robotics.
This Conference is the thirteenth in a continuing series, which
started in 1994.
MAIN TOPICS
Control and system theory, Control engineering, Robotics,
Identification and measurements, Modeling and simulation, Integration
in manufacturing,Industrial safety, Marine automation, Non-
engineering applications.
LANGUAGE
The official language of the Conference is English.
TECHNICAL PROGRAM
The Conference program will include plenary, invited and regular
sessions.
SUBMISSION OF PAPERS AND PROPOSALS FOR INVITED SESSIONS
Authors of regular papers should submit a structured draft paper being
equivalent to maximum of 10 double-spaced A4 pages. The cover page
should contain the title, author's name, affiliation, postal and e-
mail addresses, fax and telephone numbers of each author, an abstract
and three keywords. In case of joint authorship, the first name
mentioned will be used for all correspondence, unless otherwise
requested.
All papers chosen for presentation will appear in the Conference
Proceedings.
At least one author per paper is required to register at the time of
the submission of the camera-ready paper.
Detailed instructions on preparation of the final version will be
sent to authors of accepted papers.
Persons wishing to organize an invited session related to the main
topics of the Conference should submit a proposal stating the topic
of the session, briefly describing its scope and justifying its
inclusion in the Conference Program. The proposal should contain the
title, a short abstract with three keywords for each contribution,
the name, affiliation, postal and e-mail addresses, fax and telephone
numbers of each proposed speaker.
Both draft papers and proposals for invited sessions should be e-
mailed (preferably as a PDF document, or else as a Postscript or, in
the last resort, as a MS Word DOC file) to the Conference Secretariat
by the deadline shown.
Instead of electronic submission it is allowed to deliver five hard
copies of the contribution.
IMPORTANT DEADLINE
5 March 2007 Deadline for submission of draft papers (for oral and
poster presentations) and proposals for invited sessions
SECRETARIAT ADDRESS:
MMAR 2007 Conference Secretariat
Institute of Control Engineering
Szczecin University of Technology
ul. Sikorskiego 37
70-313 Szczecin, Poland
Phone: +48 91 4494723
Fax: +48 91 4494153
E-mail: mmar@ps.pl
URL: http://www.mmar.ps.pl
web site: click here
Contributed by: Sherif Abdelwahed <sherif.abdelwahed@vanderbilt.edu>
THE 18TH INTERNATIONAL WORKSHOP ON PRINCIPLES OF DIAGNOSIS
Nashville, TN, USA
May 29 - 31, 2007
The International Workshop on Principles of Diagnosis (DX) is an annual
event that started in 1989 rooted in the Artificial Intelligence (AI)
community. DX is a lively forum that has traditionally adopted a single-
track program and limited the number of participants in order to promote
detailed technical exchange and debate. We welcome papers in a variety
of areas related but not limited to:
* Formal theories and computational methods for diagnosis, monitoring,
testing, repair and therapy, reconfiguration, fault tolerance,
diagnosability analysis and related topics.
* Modeling for diagnosis including symbolic, numeric, discrete-event,
continuous, hybrid, probabilistic, functional, behavioral, qualitative,
abstractions and approximation methods.
* Computational issues addressing controlling combinatorial explosion,
use of structural and hierarchical knowledge, focusing strategies,
resource-bounded reasoning, and related topics.
* Diagnosis process including strategies for measurement selection,
sensor placement, test actions design, active testing, embedded
diagnosis systems, preventive diagnosis, fault tolerance strategies,
distributed diagnosis.
* Bridge between DX and other areas: FDI control-based techniques,
statistical and probabilistic methods, design, model checking, machine
learning, non-monotonic reasoning, planning, execution, real-time
languages, software verification and validation, debugging, and
hardware testing.
* Real-world applications and integrated systems in a wide range of
fields including transport systems, space and aeronautics, process
industry, medical, and bioinformatics. Success (or failure) stories are
especially welcome.
LOCATION
The workshop will be held at the Gaylord Opryland Resort and Convention
Center in Nashville, TN, USA. Gaylord Opryland is recognized around
the world for its extraordinary service, luxurious accommodations and
first-class entertainment.
PAPER SUBMISSION
Accepted papers qualify as regular or poster papers. All accepted DX
papers will be published in the Workshop notes and CD ROM. The workshop
notes and CD ROM will be distributed to participants only so that
resubmission of papers to conferences or journals is permitted. Final
papers must be submitted in ECAI format (see
http://www.dsic.upv.es/ecai2004) and must not exceed 8 pages length.
For additional information contact dx07@isis.vanderbilt.edu or check
the conference web site http://www.isis.vanderbilt.edu/dx07.
IMPORTANT DATES
- Full paper submission: February 2, 2007
- Author notification: April 2, 2007
- Final manuscript due: May 4, 2007
- Advance registration deadline: May 4, 2007
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
ICIEA 2007 - THE 2ND IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND
APPLICATIONS
Harbin, China
May 23 - 25, 2007
Organisers
IEEE Industrial Electronics (IE) Chapter, Singapore
Harbin Institute of Technology (HIT), China
Technical Co-Sponsors
IEEE Industrial Electronics Society
IEEE Control Systems Society
Dear Colleague,
This is the final call for papers of the 2nd IEEE Conference on
Industrial Electronics and Applications (ICIEA 2007) and we believe
that you might be interested in this conference. Our apologies if you
have received multiple copies.
With the purpose of creating a forum for scientists, engineers and
practitioners throughout the world to present the latest technology
advancement in Industrial! Electronics, ICIEA2007, organized by IEEE
Industrial Electronics (IE) Chapter of Singapore Section and co-
organized with Harbin Institute of Technology, will be held from 23-
25 May 2007, in Huaqi Hotel, Harbin, China. The conference scope
covers the following technical tracks:
Automation: Instrumentation systems, Flexible manufacturing systems,
Process automation, Man-machine interactions, Computer integrated
manufacturing, Factory modeling and simulation, Intelligent
automation.
Computational Intelligence: Neural networks, Fuzzy systems, Genetic
algorithm, Industrial applications of evolutionary computing,
Industrial applications of intelligent systems.
Control Systems and Applications: Adaptive and intelligent control,
Hybrid control, Digital control theory and development, Robust
control, Nonlinear systems and control, Process control, System
theory and applications, Cybernetics and new methodologies.
Energy and Environment: Energy management and control systems, Energy
recovery, Alternative and green energy, Waste management and
recycling techniques, Waste water treatment techniques, Sensor
technologies, etc.
Mechatronics: Robotics, Sensors and sensor fusion, Industrial vision,
Motion control, Micro electromechanical systems, Integrated circuitry
design and systems.
Power Electronics: Power devices and components, Power quality
control, FACTS, PFC, STATCOM, Harmonic analysis and compensations,
Energy systems, High frequency converters and SMPS, Switching
circuits and power (AC/AC, AC/DC, DC/AC and DC/DC) converters, Motors
and drives, High performance controls.
Signal Processing: Signal, image and data processing, Modeling and
simulation, Estimation and identification, Instrumentation and
transportation electronics, Vision and multi-media.
Emerging Technologies: Modeling and simulations of biological
systems, Biomedical instrumentation and application, Micro-
electromechanical systems, Electric vehicles and intelligent
transportation, Industrial applications of internet and multimedia
technologies, Portable electronics, Integrated systems and processes.
The Proceedings of ICIEA will be included in the IEEE Xplore database
and indexed by EI Compendex.
In addition to the technical sessions, there will be the following
keynotes speeches:
Intelligent Vehicles: Theory and Deployment
by Professor Petros Ioannou, University of Southern California
The Exhilarating Journey from Industrial Electronics to Industrial
Informatics
by Professor Okyay Kaynak, Bogazici University
Future Electrical Networks: Renewable Energy Systems and its
Interaction with Distributed Generation
by Professor Leopoldo G. Franquelo, Universidad de Sevilla
Advances in Lighting Electronics Technology
by Professor Xu Dianguo, Harbin Institute of Technology
Submission of Papers:
Authors should submit the full version of their manuscripts
electronically online through the IEEE ICCA 2007 website. Proposals
for invited sessions in the related areas are also solicited. Please
refer to the conference website for further details.
Please submit your papers through the conference website:
http://www.ieee.org/iciea2007/
Important Dates
Deadline for Full Paper submission : 1 December 2006
Notification of Acceptance : 1 February 2007
Deadline for Camera Ready Manuscript Submission : March 1, 2007
The Technical Program Committee is also organizing special sessions
on Automation and Measurement in Cold Rolling Mills covering the
following fields related to cold rolling:
Sensors, Measurement and Control
Automation and Processes
Modeling and Simulations
Innovations, Quality and Process Development
Profile, Thickness and Flatness
Mechanical and Thermal Actuators
Surface and Material Properties
Papers can be submitted by email to the address shown below before
1st of January 2007. The papers should be .pdf or .ps files, Times
Roman font size 10 points and are limited to 6 pages.
Submission to: george.a.fodor@se.abb.com
Conference home page: http://www.ieee.org/iciea2007/
web site: click here
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
7TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM
DESIGN (ACSD 2007)
Bratislava, Slovakia
July 10 - 13, 2007
*** FIRST CALL FOR PAPERS ***
*** Deadline for paper submission: 21 January 2007 ***
(This deadline is STRICT and will NOT be extended.)
Conference Focus
The International Conference on Application of Concurrency to System Design
(ACSD) serves as a forum for disseminating theoretical results with
application potential and advanced methods and tools for the design of
complex concurrent systems. While there are already quite a few success
stories in the field, there is still a strong need to bring theory and
practice closer together. The conference aims at cross-fertilizing both
theoretical and applied research on topics including, but not limited to,
the following:
* Design methods, tools and techniques based on models of
computation and
concurrency (data-flow models, communicating automata, Petri nets,
process algebras, state charts, MSCs, etc.), (performance) analysis,
verification, testing and synthesis.
* Hardware / software co-design, platform-based design, component-based
design, refinement techniques, hardware / software abstractions,
co-simulation and verification
* Synchronous and asynchronous design, asynchronous circuits, globally
asynchronous locally synchronous systems, interface design,
multi-clock
systems, functional and timing verification.
* Concurrency issues in Systems on Chips, massively parallel
architectures,
networks on chip, task and communication scheduling, resource,
memory and
power management, fault-tolerance and Quality of Service issues.
* (Industrial) case studies of general interest, gaming applications,
consumer electronics and multimedia, automotive systems, (bio-)medical
applications, internet and grid computing, etc.
* Special session on networked systems: concurrency issues in
ad-hoc, mobile
and wireless networking, sensor networks, communication protocols,
cross-
layer optimization, resource, power and Quality of Service management,
fault-tolerance, concurrency-related security issues.
* Special session on concurrency in Business Process Management:
business
process modeling, simulation and verification, (distributed) workflow
execution, business process (de-)composition, interorganizational and
heterogeneous workflow systems, computer-supported collaborative work
systems, web services
* Special session on synthesis and control of concurrent systems:
(compositional) modeling and design, (modular) synthesis and analysis,
distributed simulation and implementation, (distributed) controller
synthesis, adaptive systems, supervisory control
Invited Speakers
Conference keynote: Rishiyur Nikhil (Bluespec Inc., USA)
Special session keynotes:
- Networked systems:
Lothar Thiele, Swiss Federal Institute of Technology (ETH),
Switzerland
- Concurrency in Business Process Management:
Wil van der Aalst, Eindhoven University of Technology, The
Netherlands
- Synthesis and control of concurrent systems:
Philippe Darondeau, INRIA, France
Programme Committee Co-Chairs
Twan Basten (Eindhoven University of Technology, The Netherlands)
Sandeep Shukla (Virginia Tech, USA)
General Chair
Gabriel Juhás (Slovak University of Technology Bratislava, Slovakia)
Steering Committee
Alex Yakovlev (University of Newcastle upon Tyne, UK), Chair
Benoît Caillaud (IRISA, France)
Jordi Cortadella (Universitat Politecnica de Catalunya, Spain)
Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany)
Alex Kondratyev (Cadence, USA)
Luciano Lavagno (Politecnico di Torino, Italy)
Antti Valmari (Tampere University of Technology, Finland)
Programme Committee
Twan Basten (Eindhoven University of Technology, The Netherlands,
co-chair)
Sandeep Shukla (Virginia Tech, USA, co-chair)
Jonathan Billington (University of South Australia, Australia)
Marius Bozga (VERIMAG, France)
Manfred Broy (Technische Universität München, Germany)
Benoît Caillaud, (IRISA, France)
Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany)
Stephen Edwards (Columbia University, USA)
Marc Geilen (Eindhoven University of Technology, The Netherlands)
Keijo Heljanko (Helsinki University of Technology, Finland)
Petr Jancar (Technical University of Ostrava, Czech Republic)
Ryszard Janicki (McMaster University, Canada)
Kurt Jensen (University of Aarhus, Denmark)
Gabriel Juhás (Slovak University of Technology, Slovakia)
Mark Josephs (London South Bank University, UK)
Sri Kanajan (General Motors Research, USA)
Victor Khomenko (University of Newcastle upon Tyne, UK)
Erwin de Kock (Philips Research, The Netherlands)
Fabrice Kordon (University Paris 6, France)
AntonÃn Kucera (Masaryk University in Brno, Czech Republic)
Thomas Kunz (Carleton University, Canada)
Marta Kwiatkowska (University of Birmingham, UK)
Charles Lakos (University of Adelaide, Australia)
Johan Lilius (TUCS and Abo Akademi University, Finland)
Ricardo Machado (Universidade do Minho, Portugal)
John Moondanos (INTEL, USA)
Enric Pastor (Universitat Politecnica de Catalunya, Spain)
Doron Peled (University of Warwick, UK)
Wojciech Penczek (Polish Academy of Science and University of
Podlasie, Poland)
Laure Petrucci (Université Paris 13, France)
S. Ramesh (GM Research Lab, India)
Jean-François Raskin, (Université Libre de Bruxelles, Belgium)
Anders Ravn (Aalborg University, Denmark)
Jean-Pierre Talpin (IRISA, France)
Yosinori Watanabe (Cadence, USA)
Alex Yakovlev (University of Newcastle upon Tyne, UK)
Tomohiro Yoneda (National Institute of Informatics, Japan)
Wlodek Zuberek (Memorial University of Newfoundland, Canada)
Regular Papers
Submitted papers should be in IEEE Computer Society Press 2-column
format
(ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf),
with
no more than 10 pages. The cover page should include the corresponding
author, physical and e-mail addresses, phone and FAX numbers, and an
abstract of at most 60 words. The deadline for submission of regular
papers
is *21 January 2007*. Paper submission will be handled electronically.
Submitted papers should describe original work that has not been
previously
published and is not under review for publication elsewhere. More
information can be obtained through the conference web-pages.
Tool Papers and Demonstrations
Submissions for tool demonstrations should be no more than 5 pages
in IEEE CS
Press format and should be sent to Martin Hornanský
(martin.hornansky@stuba.sk)
by 21 January 2007. Tool papers will be reviewed by the programme
committee.
Acceptance of a tool paper implies that a tool demonstration should be
given at the conference. For facility arrangements and questions, please
contact Martin Hornanský.
Tutorials
ACSD will feature some half-day tutorials, to introduce topical subjects
related to research topics covered by ACSD at the level of PhD students.
Tutorial submissions should survey the state-of-the-art in the
subject area.
Submissions for tutorials should be no more than 5 pages in IEEE CS
Press
format and should be sent to Jaroslav Fogel (jaroslav.fogel@stuba.sk) by
21 January 2007. Tutorial submissions will be reviewed by the programme
committee. For facility arrangements and questions, please contact
Jaroslav
Fogel.
Proceedings
Proceedings containing accepted regular papers, invited papers, tool
papers,
and tutorials will be published by IEEE Computer Society Press.
Best Paper Award
A best paper award will be given to the author(s) of the best
regular paper
presented at ACSD 2007.
Special Issue Fundamenta Informaticae
Best papers of ACSD will be considered for publication in extended and
revised form in a special issue of the journal Fundamenta Informaticae.
Organizing Committee
Gabriel Juhas (general chair)
Jaroslav Fogel (tutorial chair)
Martin Hornansky (tool demonstrations)
Fedor Lehocki (financial matters)
Peter Melisek (web pages and technical support)
Zuzana Sabikova (secretary)
Zuzana Sevcikova (communication)
Sponsoring and Cooperation
Slovak University of Technology Bratislava, Slovakia
Important Dates
- Deadline for paper submission: 21 January 2007
This deadline is STRICT and will NOT be extended
- Notification of acceptance: 19 March 2007
- Deadline for final version: 15 April 2007
- Conference: 10-13 July 2007
web site: click here
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
SELECTIONS FROM IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
VOL. 32, NO. 10
OCTOBER, 2006
1) MODEST: A Compositional Modeling Formalism for Hard and Softly Timed
Systems
Henrik Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
Abstract:
This paper presents Modest (MOdeling and DEscription language for
Stochastic Timed systems), a formalism that is intended to support 1)
the modular description of reactive systems' behavior while covering
both 2) functional and 3) nonfunctional system aspects such as timing
and quality-of-service constraints in a single specification. The
language contains features such as simple and structured data types,
structuring mechanisms like parallel composition and abstraction, means
to control the granularity of assignments, exception handling, and
nondeterministic and random branching and timing. Modest can be viewed
as an overarching notation for a wide spectrum of models, ranging from
labeled transition systems to timed automata (and probabilistic
variants thereof), as well as prominent stochastic processes such as
(generalized semi-)Markov chains and decision processes. The paper
describes the design rationales and details of the syntax and semantics.
web site: click here
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
DISCRETE EVENT DYNAMIC SYSTEMS: THEORY AND APPLICATIONS
VOLUME 16, NUMBER 4
DECEMBER, 2006
1) Near-Optimal Online Control of Dynamic Discrete-Event Systems
Lenko Grigorov and Karen Rudie 419
Abstract:
A class of time-varying discrete-event systems, named dynamic
discrete-event systems, is defined. The goal of this paper is to
provide a method which is modular and can be applied in real solutions
for the optimization of the online control of such systems. First, a
simple control algorithm is presented, followed by illustrative
examples of different issues that can arise if it is used. Afterward, a
more complicated near-optimal online control algorithm with
normalization of string values is proposed. The time variability of the
systems is accounted for and the average computational time is
drastically reduced. This is demonstrated with a set of simulations of
the performance of the new algorithm.
2) Supervision Based on Place Invariants: A Survey
M. V. Iordache and P. J. Antsaklis 451
Abstract:
The supervision based on place invariants (SBPI) is an efficient
technique for the supervisory control of Petri nets. This paper reveals
the significance of the SBPI based on a literature survey,
applications, and an analysis of problems and supervisory settings that
can be addressed using SBPI. Special attention is given to the various
settings within which the problem can be formulated. Such settings can
be distinguished based on the concurrency type, the type of
controllability and observability, and the centralized or decentralized
type of supervision. As we show, it is possible to approach the most
general settings in a purely structural way, without resorting to
reachability analysis. We begin by describing the SBPI problem and the
literature methods that address this problem or are related to it.
Then, we proceed to show classes of problems that can be reduced to the
SBPI problem. In the SBPI, the specification is described as a system
of inequalities that the Petri net marking must satisfy at any time.
However, as we show, problems involving more general specifications can
be approached in the SBPI setting, sometimes under additional
assumptions, by performing net and/or specification transformations.
Four of the specifications we will consider are logic constraints,
language specifications, disjunctions of linear constraints, and
liveness. We conclude with a presentation of possible applications of
the SBPI approach to programming with semaphores, fault tolerance, and
synchronic-distance based designs.
3) Safe Supervisory Control Under Observability Failure
Antonia M. Sa'nchez and Francisco J. Montoya 493
Abstract:
This paper discusses about supervisory control under possible loss of
observability. The final goal of this work is to design a safe
(avoiding disaster states) supervisory control loop structure taking
into consideration the uncertainty that stems from the fact that some
event(s) may turn into unobservable at some point along the normal
system operation. This kind of failure may correspond to the breakdown
of some plant sensor. The supervisor finally obtained is in general: a)
more permissive than the supervisor obtained assuming those events as
unobservable from the beginning, since at some points it shall be
better informed, and b) more restrictive than the supervisor obtained
assuming that those events shall never fail, since it will have to
prevent the system from following some undesirable trajectories that
the system could take in presence of an observability failure. This
paper presents results to obtain a safe controller that avoids disaster
states in presence of the described uncertainty, and also ensures that
the system behaviour will not run out from its specifications in
absence of failure.
4) Solvability of Centralized Supervisory Control Under Partial Observation
Tae-Sic Yoo and Stephane Lafortune 527
Abstract:
The problem of synthesizing a nontrivial controllable and observable
sublanguage of a given non-prefix-closed language is addressed. This
problem arises in supervisory control of discrete-event systems, when
the objective is to synthesize safe nonblocking supervisors for
partially observed systems. The decentralized version of this problem
is known to be unsolvable. We show that the centralized version of this
problem is solvable by presenting a new algorithm that synthesizes a
nontrivial controllable and observable sublanguage of the given
non-prefix-closed language, if one exists. We also show that the union
of all nonblocking solutions to the associated supervisory control
problem can be expressed as the union of all regular nonblocking solutions.
web site: click here
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
SELECTIONS FROM IEEE TRANSACTIONS ON SYSTEMS, MAN AND CYBERNETICS, PART
A
VOLUME: 36, ISSUE: 6
NOVEMBER, 2006
1) Diagnosability Analysis Based on Component-Supported Analytical
Redundancy Relations
Trave-Massuyes, L.; Escobet, T.; Olive, X.
Abstract:
It is commonly accepted that the requirements for maintenance and
diagnosis should be considered at the earliest stages of design. For
this reason, methods for analyzing the diagnosability of a system and
determining which sensors are needed to achieve the desired degree of
diagnosability are highly valued. This paper clarifies the different
diagnosability properties of a system and proposes a model-based method
for: 1) assessing the level of discriminability of a system, i.e.,
given a set of sensors, the number of faults that can be discriminated,
and its degree of diagnosability, i.e., the discriminability level
related to the total number of anticipated faults; and 2)
characterizing and determining the minimal additional sensors that
guarantee a specified degree of diagnosability. The method takes
advantage of the concept of component-supported analytical redundancy
relation, which considers recent results crossing over the fault
detection and isolation and diagnosis communities. It uses a model of
the system to analyze in an exhaustive manner the analytical
redundancies associated with the availability of sensors and performs
from that a full diagnosability assessment. The method is applied to an
industrial smart actuator that was used as a benchmark in the
Development and Application of Methods for Actuator Diagnosis in
Industrial Control Systems European project.
2) Knowledge Representation Using High-Level Fuzzy Petri Nets
Shen, V.R.L.
Abstract:
This correspondence presents a high-level fuzzy Petri net (HLFPN) model
to represent the fuzzy production rules of a knowledge-based system,
where a fuzzy production rule is the one that describes the fuzzy
relation between the antecedent and the consequent. The HLFPN can be
used to model fuzzy IFâTHEN rules and IFâTHENâELSE rules, where the
fuzzy truth values of the propositions are restricted to [0, 1]. Based
on the HLFPN model, an efficient algorithm is proposed to automatically
reason about imprecise and fuzzy information. In this correspondence, a
novel model to represent fuzzy knowledge is developed. When compared
with other related models, the HLFPN model preserves several
significant advantages. Finally, main results are presented in the form
of eight properties and are supported by a comparison with other
existing algorithms.
3) Clarifications on the Definitions of Elementary Siphons in Petri Nets
Li, Z.; Zhou, M.
Abstract:
The concept of elementary siphons of Petri nets is first proposed in
our previous work. However, their definitions can cause confusion when
there exist weakly independent siphons in a net. In this
correspondence, we redefine elementary siphons and show the
significance of this improvement.
4) A Polynomial Deadlock Avoidance Method for a Class of Nonsequential
Resource Allocation Systems
Ezpeleta, J. Valk, R.
Abstract:
This correspondence introduces a deadlock-avoidance algorithm for a
class of manufacturing systems with the following characteristics: 1)
Production orders are allowed to have assembly operations (which give
the nonsequential nature to the resource allocation system model) but
not disassembly operations, 2) the use of system resources must be
conservative (resources are neither created nor destroyed), and 3)
actions related to the granting of resources are controllable. The
proposed solution represents a sufficient condition for a given system
state to be safe and is based on an adaptation of the well-known
Banker's approach for deadlock avoidance. The time complexity of the
proposed solution is proved to be polynomial with the size of the
Place/Transition net model.
5) Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing
Systems
Huang, Y.-S.; Jeng, M.; Xie, X.; Chung, D.-H.
Abstract:
A siphon-based algorithm for deadlock prevention of a type of Petri
nets called$hboxS^3hboxPMR$, which is a subclass of$hboxS^3hboxPGR^2$,
is presented in this correspondence. The proposed method is an
iterative approach by adding two kinds of control places called
ordinary control (OC) places and weighted control (WC) places to the
original model to prevent siphons from being unmarked. An OC place with
ordinary arcs, which optimally prevent a siphon from becoming unmarked,
is employed whenever it is possible, and otherwise, the WC places that
adopt a conservative policy of controlling the release of parts into
the system are used. Furthermore, this algorithm is not only for the
subclass Petri nets but also
for$hboxS^3hboxPR$,$hboxES^3hboxPR$,$hboxS^2hboxLSPR$,
and$hboxS^3hboxPGR^2$nets. The authors prove the liveness and
reversibility of the controlled net, and hence establish the
correctness of the deadlock prevention policy. Finally, numerical
experiments indicate that the proposed policy appears to be more
permissive than closely related approaches in the literature.
web site: click here
Contributed by: Ryan Leduc <leduc At mcmaster dOt ca>
SELECTIONS FROM CONTROL ENGINEERING PRACTICE
VOLUME 15, ISSUE 2
FEBRUARY, 2007
1) Hierarchical control of aircraft propulsion systems: Discrete event
supervisor approach
Murat Yasar and Asok Ray
Abstract:
This paper presents an application of the recently developed theory of
language-measure-based discrete event supervisory (DES) control to
aircraft propulsion systems. A two-layer hierarchical architecture is
proposed to coordinate the operations of a twin-engine propulsion
system. The two engines are individually controlled to achieve enhanced
performance and reliability, as necessary for fulfilling the mission
objectives. Each engine, together with its continuously varying control
system, is operated at the lower level under the supervision of a local
discrete-event controller for condition monitoring and life extension;
the gain-scheduled feedback controller that is used to maintain the
specified performance of the turbofan engine is kept unaltered. A
global DES controller at the upper level coordinates the local DES
controllers for load balancing and health management of the propulsion
system.
2) Simulation and analysis of discrete-event control systems based on
Petri nets using PNetLab
Francesco Basile, Ciro Carbone and Pasquale Chiacchio
Abstract:
Supervisory control based on Petri Nets (PNs) or Colored Petri Nets
(CPNs) model of the plant leads to supervisors which can be PN/CPN
themselves (compiled supervisors) or simply a set of logical predicates
(interpreted supervisors). There is a lack of simulation and analysis
tools that can be used in both cases and can support the development of
supervisors. In this paper PNetLab is presented, a simulation and
analysis tool developed by the Automatic Control Group of the
University of Salerno. It allows drawing of a PN/CPN model by a
graphical user interface and the definition of the supervisor as a
PN/CPN or as a standard C/C++ program implementing logical predicates.
Functionalities to analyze the closed-loop model with all kinds of
supervisors (PN/CPN/logical predicates) are available (token game and
coverability tree) as well as standard functionalities when both the
plant and the controller are PNs (P-invariants, T-invariants, minimal
siphons and traps computation). In addition, PNetLab includes
management of time (plant modelled by timed PNs/CPNs) and conflict
management so as to permit testing of scheduling strategies together
with the supervisor as required in performance optimization problems.
Finally, the tool's simulation engine can be linked from an external
program allowing look-ahead supervisory techniques. The tool is
available free of charge for interested readers.
web site: click here
The End
|
[Home]
[Members]
[Newsletters]
[Conferences]
[DES Researchers]
[Links]
Please send suggestions to:
Ryan Leduc,
destc@cas.mcmaster.ca
|
