E-LETTER on Systems, Control, and Signal Processing
ISSUE No. 94, June 1, 1996
E-LETTER on Systems, Control, and Signal Processing
ISSUE No. 94, June 1, 1996
E-mail: eletter-request@win.tue.nl
Editors: Anton A. Stoorvogel
Dept. of Mathematics & Computing Science
Eindhoven University of Technology
P.O. Box 513
5600 MB Eindhoven
the Netherlands
Fax +31 40 246 5995
Siep Weiland
Dept. of Electrical Engineering
Eindhoven University of Technology
P.O. Box 513
5600 MB Eindhoven
the Netherlands
Fax +31 40 243 4582
Contents
1. Editorial
2. Personals
3. General announcements
3.1 Summer course MIT
3.2 Software for optimization with LMI constraints
3.3 Update SCAD database
4. Positions
4.1 PhD students positions at Aston University
4.2 Senior faculty positions at University of Bremen
4.3 PhD students position at Tulane University
4.4 Postdoc at Boston University
4.5 Faculty position at Clemson University
5. Books
5.1 L_2 gain and passivity techniques in nonlinear control, v.d. Schaft
5.2 Multivariable feedback control, Skogestad/Postlethwaite
5.3 Formal specification and and synthesis of procedural controllers
for process systems, Sanchez
5.4 Lecture notes on convex optimization, Vandenberghe
5.5 Theory of robot control, the ZODIAC, Canudas de Wit/Siciliano/
Bastin
5.6 Advanced models for manufacturing systems management
Brandimarte/Villa
6. Journals
6.1 TOC Automatica, Vol. 32:5
6.2 TOC SIAM J. Control & Opt., Vol. 34:4
6.3 TOC Dynamics and Control, Vol. 6:3
6.4 TOC MCSS, Vol. 8:3 and to appear
6.5 TOC European Journal of Control, Vol 2:2
6.6 Appl. Math. and Software Eng. on internet
6.7 Special Issue DES, Mathematical and Computer Modelling
6.8 Special Issue Hybrid Control Systems, IEEE TAC
6.9 TOC Robotics and Autonomous System, Vol. 17:1-3
7. Conferences
7.1 Conf. on Intelligent Tutoring Systems, Montreal
7.2 CfP. IFSA World Congress, Prague
7.3 CfP. Int. Power Eng. Conf., Singapore
7.4 Workshop on Nonlinear and adaptive control
7.5 CfP. 2nd Chinese World Control on Intelligent Control
7.6 Workshop on L_1 methods in robust control design
Workshop on Nonlinear and Adaptive Control Designs and Appl.
******************************************
* *
* Editorial *
* *
******************************************
Welcome to E-letter number 94 !!!
We plan to send out the E-letter monthly. The next issue of E-letter will
appear July 1. Please send contributions before this date. We encourage
contributors to provide essential information only and reserve the right
to require contributors to cut certain parts of their contribution.
We remind you of the following.
-1- Contributions have to be sent to: "eletter-request@win.tue.nl"
It would be useful if articles are already sent in the format that we
use, starting with a "Contributed by:..." and a title centered in the
next line. Each line should be no more than 80 characters wide. Please
respect the MAXIMUM LENGTH OF 6 Kb per contribution.
-2- You can subscribe to the E-letter by sending an (empty) e-mail message
to "eletter@win.tue.nl" carrying the subject 'add' or 'subscribe'. You
will be automatically subscribed and included in our mailing list.
To unsubscribe from this list, send an (empty) e-mail message to
"eletter@win.tue.nl" with the subject 'remove', 'delete' or
'unsubscribe'.
-3- If your address changed first unsubscribe (using your old E-mail address)
and then subscribe again (using your new E-mail address). If you can not
use your old E-mail address any longer then send an E-mail to
"eletter-request@win.tue.nl" and your old address will be removed
manually. In case of any problems please send an E-mail to
"eletter-request@win.tue.nl" and we will try to resolve the problem.
-4- Further information about the E-letter can be obtained by sending an
(empty) e-mail message to "eletter@win.tue.nl" carrying the subject
'info' or via the finger command: "finger eletter@wsbs08.win.tue.nl"
-5- If you are using an editor to read this mailing and if at any point you
wish to skip to the next article, you can accomplish this by searching
for the string: *.**
******************************************
* *
* Personals *
* *
******************************************
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Krishan Nagpal
ADDRESS CHANGE
Krishan M. Nagpal's new coordinates are
Scientific Systems Co. Inc.
500 W. Cummings Park
Suite 3000
Woburn, MA 01801.
tel. (617)-933-5355
fax. (617)-938-4752
email: nagpal@ssci.com
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by Yu-Chi (Larry) Ho
SABBATICAL NOTICE
from July 1, 1996 - June 30, 1997 Yu-Chi Ho of Harvard University will
be on sabbatical. While he will be based in Boston, frequent trips and
other extra-curricular activities may take him away from home for
extended period of time with the result that e-mails and other
communications to him may not be read as frequently or only reach him
after some delay. If necessary, contact his secretary Nancy Wright at
the his usual numbers 617-495-3992 and 617-496-6404 (fax) or e-mail
nancy@paone.harvard.edu
******************************************
* *
* General announcements *
* *
******************************************
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by Eric Feron (feron@mit.edu)
SUMMER PROFESSIONAL PROGRAM AT MIT:
PRACTICAL METHODS FOR ROBUST CONTROL
July 22--July 26, 1996
Eric Feron, Steven Hall (MIT, Department of Aeronautics and Astronautics)
and V. Balakrishnan (Purdue University, Department of Electrical Engineering)
The object of this course is to present methods for the analysis and
robust controller synthesis of uncertain control systems. Thanks to
recent advances in computer power and optimization theory,
participants will learn a broad class of robust control methods that
are readily implementable on a computer at a fairly modest cost. By
the end of this course, they will know how to design robust
performance tests and controller design methodologies tailored to
their particular needs.
Control engineers working in Aerospace, Electrical and Process
Engineering, as well as many other relevant fields will find this
course a precious complement to classical, multivariable linear
control theory. Numerous numerical examples based on the instructors'
experience will illustrate the practical value of the material
presented in the course.
For more information, please contact Eric Feron (email: feron@mit.edu,
phone (617) 253 1991).
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Lieven Vandenberghe
Determinant maximization with linear matrix inequality constraints.
Software and paper available.
The problem of maximizing the determinant of a matrix subject to
linear matrix inequalities arises in many fields, including
computational geometry, statistics, system identification, experiment
design, and information and communication theory. It can also be
considered as a generalization of the semidefinite programming problem
and of the analytic centering problem.
A software package (MAXDET) and a survey paper are now available via
anonymous ftp. The software includes an implementation of an
interior-point method in C, with calls to LAPACK, as well as some
matlab routines that work with a mex-file interface.
To get the software, ftp as anonymous to isl.stanford.edu, and cd to
pub/boydq/maxdet. Set binary mode and get the file maxdet.tar.Z (which
includes maxdet.ps.Z, the paper), and the appropriate mex-file. Quit
ftp, then uncompress and untar maxdet.tar.Z:
your-machine> zcat maxdet.tar.Z | tar xvf -
You will then have a directory maxdet which contains the survey paper,
source code, (postscript) software documentation, source for matlab
mex interfaces, and example matlab files. You can get the paper alone
in pub/boyd/reports, in the file maxdet.ps.Z. You can also get the
package and the paper via WWW, by following the links froqm
http://www-isl.stanford.edu/people/boyd/group_index.html.
The MAXDET code has also been incorporated in SDPSOL, a parser/solver
that solves semidefinite programming problems that are described in a
simple Matlab-like language.
Comments, suggestions and bug reports are welcome.
Lieven Vandenberghe, Stephen Boyd and Shao-Po Wu
vandenbe@isl.stanford.edu, boyd@isl.stanford.edu, clive@isl.stanford.edu
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Raimund J. Ober
Xu Huang
UPDATE ON SCAD DATABASE -- May 1996
#### #### ## #####
# # # # # # #
#### # # # # #
# # ###### # #
# # # # # # # #
#### #### # # #####
Systems and Control Archive at Dallas
Worldwide web: URL: http://scad.utdallas.edu/scad/
queries (email): scad@utdallas.edu
New contents:
=============
Eletters: Number 93
=========
Systems and Control Groups worldwide:
====================================
Links to:
Institute for Automatic Control,
Technical University of Aachen (RWTH), Germany
LMI-Based CACSD and its Applications at Kajiwara Lab.,
Kyushu Institute of Technology, Iizuka, Japan.
SCAD ADDRESS LIST:
==================
Recently we have started an address list for systems
and control people.
More than 780 people have added their addresses to the list.
To register your, simply:
- go to SCAD using the web
- go to the ADDRESS LIST link
- click: add your address
- fill in the form.
You can check out addresses by using the search facility or
by scanning through the full list.
!!!!!!!!!!! PLEASE, Add your Address to the SCAD ADDRESS LIST !!!!!!!!!!!
**********************************************************************
How to access scad:
===================
Using Worldwide Web:
URL: http://scad.utdallas.edu/scad/
More detailed instructions can be obtained by sending an email to
scad@utdallas.edu
After accessing SCAD you can find a README file which contains
more information about SCAD.
******************************************
* *
* Positions *
* *
******************************************
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: D.J. Holding
ASTON UNIVERSITY
Department Of Electronic Engineering & Applied Physics
EPSRC-FUNDED RESEARCH STUDENTSHIPS
The department has several EPSRC-funded Research Studentships for
candidates wishing to study for a PhD commencing October 1996. The
studentships may attract supplementary industrial support via the CASE
and Total Technology Schemes. Applications are invited for research
associated with the Information Technology Research Group.
* Information Technology Group
The Information Technology Group has well-established programmes of
research in concurrent real-time logic, embedded and fault tolerant
digital systems, distributed real-time control systems and associated
communication networks. The main area of interest is in systematic
design methods for application-specific programmable digital systems.
This involves research on synthesis techniques and the use of formal
and semi-formal methods in specification, design and verification.
The Group has specialist research laboratories with advanced computer
facilities. The research work is of direct relevance to industry and
doctoral graduates have readily found employment in academic and
industrial positions in the UK and Europe.
* Research Opportunities include
Development of structured methods for designing coordination and
synchronisation logic for hybrid control systems using an OOD
(Rambaugh / OMT) approach.
Development of synthesis methods and analysis techniques for real-time
concurrent logic specified using techniques such as Petri nets, Statecharts
and SFC.
Investigation of the hybrid control of massively distributed real-time
systems.
* Enquiries and Applications
Candidates should hold, or expect to achieve, a good honours degree
(1st or good 2.1) in Electronic or Electrical Engineering, Control
Engineering, or Computer Science.
Informal enquiries are welcome to Dr David Holding, Head of the
Research Group, by e-mail (d.j.holding@aston.ac.uk).
Application forms cans be obtained from the Research Secretary,
Department of Electronic Engineering and Applied Physics, Aston
University, Aston Triangle, Birmingham B4 7ET, Tel: 0121 359 3611/3621
Ext 4961, Fax: 0121 359 0156, email EEAP@aston.ac.uk.
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Fabian Wirth (fabian@mathematik.uni-bremen.de)
Positions at the University of Bremen
Subject to funding three positions will be advertised by the
University of Bremen, Germany. The following texts are preliminary and
do not constitute the official advertisement of the positions. Those
interested should check the job search services of "Die Zeit" or
"Times Higher Education Supplement" in the near future. Both are
available on the net.
For further information contact Fabian Wirth, email:
fabian@mathematik.uni-bremen.de.
The Department of Mathematics and Computer Science at the University
of Bremen is going to establish a Center for Technomathematics and
applications are invited for three full professorships at the level C3
or C4 to teach this subject in the areas:
Technomathematics (C4) (Reference number: P 140/96)
Numerics of partial differential equations (C3) (Reference number: P 141/96)
Methods of mathematical modelling (C3) (Reference number: P 142/96)
The successful applicants will become members of the Center for
Technomathematics. They will be expected to join in the development of
the curriculum in Technomathematics as well as initiate cooperation
with industry and other research institutions.
Duties include participation in teaching at both elementary and
advanced level, guidance of students during their practical projects
and the supervision of thesis projects in Technomathematics. The
language of instruction is German and it is expected that lectures
will be given in German after an appropriate time.
A. Technomathematics
The appointee should have substantial experience in research and
teaching in the area of Technomathematics and should have a tangible
record of successful cooperation with industry. Special
consideration will be given to applicants who have backgrounds in
systems and control theory or signal processing.
B. Numerics of partial differential equations
Applicants should most preferably have a strong research record in
the area of numerics for partial differential equations. In view of
the intended cooperation with the departments of Electrical
Engineering, Mechanical Engineering or Geosciences special
consideration will be given to applicants who have backgrounds in
the areas of computational fluid dynamics or computational
mechanics.
C. Methods of mathematical modelling
The appointee should have a strong research record in the
development and application of mathematical models for technical
problems. Special consideration will be given to applicants who
have backgrounds in the areas of partial differential equations or
optimization.
Apart from regulations determined by German law necessary
qualifications for all three positions consist of a relevant
habilitation or equivalent scientific achievements as well as teaching
experience.
The universqity intends to raise the proportion of female scientific
personnel and therefore especially encourages qualified women to
apply.
Written applications quoting reference number, telephone number,
qualifications and experience should be sent to Universitaet Bremen,
Fachbereich 3, Postfach 330440, 28334 Bremen, Germany.
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Professor Sergey Drakunov
drakunov@mailhost.tcs.tulane.edu
RESEARCH ASSISTANT POSITION
Systems and Control Group
Department of Electrical Engineering and
Computer Science
TULANE UNIVERSITY
New Orleans, Louisiana 70118
USA
A Graduate Student Research Assistantship is available in the new
Department of Electrical Engineering and Computer Science at Tulane
University. Starting date: September 1996. Assistantship includes
full tuition waiver and a monthly stipend (commensurate with academic
background). The position is for a period of 2 years with possible
extension if additional funding is available.
The research is a part of a long-term project involving strong
cooperation with industry and is in the area of Sliding Mode Control
of Distributed Parameter Systems. No previous experience in Sliding
Mode Control is required but a strong mathematical background
especially in Partial Differential Equations is highly desired. The
School of Engineering offers graduate degrees in Engineering Science
especially suited for students with background in other engineering
fields or in applied mathematics.
Interested candidates are requested to send a c.v. (hardcopy or electronic
submissions are welcome) to the addresses shown above.
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Michael Gevelber (mag@enga.bu.edu)
POST-DOCTORAL POSITION:
Advanced Control System Development for Materials Processing
BOSTON UNIVERSITY, MANUFACTURING ENGINEERING
PROCESS CONTROL LABORATORY
A post-doctoral position is available for those interested in applying
control theory to improving materials processing. The Process Control
Laboratory has a number of ongoing funded projects including
development of advanced control strategies for bulk crystal growth,
real-time control of chemical-vapor-deposition, and control of plasma
deposition. Research work includes development and implementation of
appropriate control strategies, modelling of process physics to
develop insight into design of control structure and operating regime
selection, and experimental verification of proposed strategies.
Candidates should have a strong background and interests in several of
the following areas: modelling of thermal-fluid systems, control
theory and implementation, sensor development, and materials.
Contract Professor Michael Gevelber for more information (mag@enga.bu.edu,
phone: 617-353-9693, fax: 617-353-5548)
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Darren Dawson
Control Faculty Position
The Department of Electrical and Computer Engineering at Clemson
University invites applications for a tenure-track position in Control
Systems. A Ph.D. is required. Preference will be given to
applications at the assistant/associate professor level. The
successful candidate will teach both undergraduate and graduate
courses and develop a strong funded research program. Currently, the
research emphasis of the control faculty members includes system
dynamics, nonlinear control of mechatronic systems, and active
vibration control (See http://www.eng.clemson.edu/~ece/ and
http://crb.eng.clemson.edu/ for more information on the ECE department
and the control system area). The Department has 31 full time faculty
positions and has industry and government supported research
programs. Applicants should send a resume, a clear statement of
specific teaching and research interests and objectives, along with
names, postal and e-mail addresses and phone numbers of four
references to Darren Dawson, Professor, Department of Electrical and
Computer Engineering, Center for Advanced Manufacturing, Clemson
University, Clemson SC 29634. (Office: 864-656-5924, Fax:
864-656-7220, Home: 864-654-9722, email: ddawson@eng.clemson.edu).
Applications will be received until the position is filled with a
desired starting date of August, 1996 (The start date is
flexible). Clemson University is an affirmative action, equal
opportunity employer. Minorities and women especially are encouraged
to apply.
******************************************
* *
* Books *
* *
******************************************
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: A. v.d. Schaft
New Book Announcement
L2-GAIN AND PASSIVITY TECHNIQUES IN NONLINEAR CONTROL
Lecture Notes in Control and Information Sciences,Springer,London,
to be published June 1996.
The aim of these lecture notes is to provide a synthesis between
classical input-output and closed-loop stability theory, in particular
the small-gain and passivity theorems, and recent work on nonlinear
H-infinity and passivity-based control. The treatment of the theory of
dissipative systems serves as a main ingredient in this synthesis.It
is shown that the passivity properties of different classes of
physical systems can be unified within a generalized Hamiltonian
framework. Key developments in linear robust control theory such as
left and right stable factorizations and the Youla parametrization of
stabilizing controllers are extended to the nonlinear context using
L2-gain techniques. An extensive treatment of nonlinear H- infinity
control theory is presented, emphasizing its main structural features.
Since the application of L2-gain techniques relies on solving
Hamilton-Jacobi inequalities,a treatment is given of the structure of
their solution sets and conditions for (local) solvability are
derived, based on invariant manifold techniques for Hamiltonian vector
fields.
By bringing together classical results with a choice of recent
developments these lecture notes can be used for an advanced course in
nonlinear control, stimulating further research in this area.
CONTENTS:
1.Input-Output Stability
1.1 Lq-spaces and their extensions;input-output maps
1.2 Lq-stability and Lq-gain;closed-loop stability
2.Small-gain and Passivity
2.1 The small-gain theorem
2.2 The passivity theorem
2.3 Euler-Lagrange equations and passivity
3.Dissipative Systems Theory
3.1 Dissipative systems
3.2 Stability of dissipative systems;small-gain and passivity
4.Hamiltonian Systems as Passive Systems,and Stabilization of
Hamiltonian Systems
4.1 Stabilization of Hamiltonian systems
4.2 Generalized Hamiltonian systems
5.Factorizations of Nonlinear Systems
5.1 Stable kernel and image representations;nonlinear
perturbation models
5.2 Stable kernel representations and parametrization of
stabilizing controllers
5.3 All-pass factorizations
6.Nonlinear H-infinity Control
6.1 State feedback H-infinity control
6.2 Output feedback H-infinity control
7.Hamilton-Jacobi Inequalities
7.1 Solvability of Hamilton-Jacobi inequalities
7.2 An aside on optimal control
7.3 Dissipativity of a nonlinear system and its linearization
7.4 H-infinity control of a nonlinear system and its
linearization
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Sigurd Skogestad
New book! (Finally in print)
M U L T I V A R I A B L E
F E E D B A C K C O N T R O L
Analysis and Design
by
Sigurd Skogestad
Norwegian University of Science and Technology, Trondheim, Norway
and
Ian Postlethwaite
University of Leicester, UK
Published by Wiley, 1996, 570 pages.
Soft cover edition, ISBN 471-94330-4, Price: $48 (US), GBP 30 (UK).
Hard cover edition, ISBN 471-94277-4, Price: $96 (US), GBP 60 (UK).
For more detailed information about the book, see
http://www.kjemi.unit.no/~skoge/book.html
The book presents a rigorous, yet easily readable, introduction to the
analysis and design of multivariable feedback systems. It provides
the reader with insights which are invaluable when designing or tuning
any control system.
The book includes more than 100 worked examples, 3 major case studies
and about 140 exercises. Many of the examples make use of MATLAB, and
sample files are included. MATLAB files for examples and figures,
solutions to selected exercises and models for the case studies are
available on the internet.
A special feature of the book are the two chapters on input-output
controllability analysis and one chapter on control structure design.
The prerequisites for reading this book are an introductory course in
classical single-input single-output (SISO) control and some elementary
knowledge of matrices and linear algebra.
Parts of the book can be studied alone, and provide an appropriate
background for a number of linear control courses at both
undergraduate and graduate levels: classical loop-shaping control, an
introduction to multivariable control, advanced multivariable control,
robust control, controller design, control structure design and
controllability analysis.
1 INTRODUCTION
1.4 Scaling
1.5 Deriving linear models
2 CLASSICAL FEEDBACK CONTROL
2.4 Evaluating closed-loop performance
2.6 Loop shaping
2.7 Shaping closed-loop transfer functions
3 INTRODUCTION TO MULTIVARIABLE CONTROL
3.2 Transfer functions for MIMO systems
3.3 Multivariable frequency response analysis
3.5 Introduction to multivariable RHP-zeros
3.6 Condition number and RGA
3.7 Introduction to MIMO robustness
3.8 General control problem formulation
4 ELEMENTS OF LINEAR SYSTEM THEORY
4.7 Internal stability of feedback systems
4.10 System norms
5 LIMITATIONS ON PERFORMANCE IN SISO SYSTEMS
5.1 Input-Output Controllability
5.2 Perfect control and plant inversion
5.3 Constraints on $S$ and $T$
5.5 Limitations imposed by time delays
5.6 Limitations imposed by RHP-zeros
5.7 Non-causal controllers
5.8 Limitations imposed by RHP-poles
5.10 Performance requirements imposed by disturbances and commands
5.11 Limitations imposed by input constraints
5.12 Limitations imposed by phase lag
5.13 Limitations imposed by uncertainty
6 LIMITATIONS ON PERFORMANCE IN MIMO SYSTEMS
6.10 Limitations imposed by uncertainty
6.11 Input-output controllability
7 UNCERTAINTY AND ROBUSTNESS FOR SISO SYSTEMS
7.2 Representing uncertainty
7.3 Parametric uncertainty
7.5 SISO Robust stability
7.6 SISO Robust performance
8 ROBUST STABILITY AND PERFORMANCE ANALYSIS
8.1 General control configuration with uncertainty
8.6 RS for complex unstructured uncertainty
8.8 The structured singular value
8.9 Robust stability with structured uncertainty
8.10 Robust performance
8.12 $\mu $-synthesis and $DK$-iteration
9 CONTROLLER DESIGN
9.1 Trade-offs in MIMO feedback design
9.2 LQG control
9.3 ${\cal H}_2$ and ${\cal H}_\infty$ control
9.4 ${\cal H}_\infty $ loop-shaping design
10 CONTROL STRUCTURE DESIGN
10.2 Optimization and control
10.3 Selection of controlled outputs
10.4 Selection of manipulations and measurements
10.6 Control configuration elements
10.7 Hierarchical and partial control
10.8 Decentralized feedback control
11 MODEL REDUCTION
11.2 Truncation and residualization
11.3 Balanced realizations
11.4 Balanced truncation and balanced residualization
11.5 Optimal Hankel norm approximation
11.7 Reduction of unstable models
11.8 Model reduction using MATLAB
12 CASE STUDIES
12.2 Helicopter control
12.3 Aero-engine control
12.4 Distillation process
Appendix A MATRIX THEORY AND NORMS
Appendix B PROJECT WORK and SAMPLE EXAM
B.1 Project work
B.2 Sample exam
BIBLIOGRAPHY
INDEX
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Arturo Sanchez
New Book Announcement
Formal Specification and and Synthesis of
Procedural Controllers for Process Systems
A. Sanchez
Lecture Notes in Control and Information Sciences
Vol. 212. Springer-Verlag
ISBN 3540760210
The operation of process plants involves a large number of
event--driven activities, such as plant start--up and shut--down,
execution of emergency procedures and equipment interlocking. These
activities are normally carried out by procedural control systems
(such as PLCs or DCSs). Despite the extent to which these control
systems are used in practice, limited theoretical frameworks exist to
support their formal analysis and design. This is particularly
relevant in flexible production environments, characterised by
frequent changes in the product recipes, production modes and
equipment configuration. This book outlines a formal framework for
the synthesis of control systems employed in the automation of
event--driven process operations. The approach relies on an algebraic
framework embracing Predicate and Temporal Logic for the specification
and Supervisory Control Theory for the controller synthesis.
TABLE OF CONTENTS
Chapter 1 The Role of Procedural Control
1.1 Introduction
1.2 Procedural Control in Process Systems
1.3 DESs in Chemical Process Control
1.4 Control of Discrete Event Systems
1.5 Behaviour Specification and Temporal Logic
1.6 Summary and Conclusions
Chapter 2 Modelling Framework
2.1 Introduction
2.2 Model Definition
2.3 Structural Properties
2.4 Lattices and a--machines
2.5 Languages and a--machines
2.6 Operations with a--machines
2.7 Examples
2.8 Summary
Chapter 3 Specification Modelling
3.1 Introduction
3.2 Forbidden States Modelling
3.3 Dynamic Specifications Modelling
3.4 Modelling of Specifications for the Burner System
3.5 Summary
Chapter 4 Supervisory Control Theory
4.1 Introduction
4.2 The Feedback Supervisory Model of Supervisory Control Theory
4.3 Controllability and Supervisors in Supervisory Control Theory
4.4 Conditional Controllability and Supervisor Synthesis
4.5 Modular Synthesis of Supervisors
4.6 Summary
Chapter 5 Synthesis of Procedural Controllers
5.1 Introduction
5.2 Control Arrangement
5.3 Synthesis Procedure
5.4 Examples
5.5 Summary
Chapter 6 Implementation Issues
6.1 Introduction
6.2 Buffer System
6.3 Metering Tank System
Chapter 7 Epilogue
7.1 The Modelling Framework
7.2 Supervision and Control Aspects
7.3 The Controller Synthesis Method
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Lieven Vandenberghe (vandenbe@isl.stanford.edu)
LECTURE NOTES ON CONVEX OPTIMIZATION
WITH ENGINEERING APPLICATIONS
We have made available the lecture notes for a new course,
Introduction to Convex Optimization with Engineering Applications,
taught for the first time spring quarter 1995.
You can find the lecture-notes on the WWW at URL
http://www-isl.stanford.edu/people/boyd/392/ee392x.html or retrieve
them by anonymous ftp at isl.stanford.edu in /pub/boyd/392.
Any comments will be greatly appreciated.
Stephen Boyd
Lieven Vandenberghe
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: C. Canudas de Wit (canudas@lag.grenet.fr)
THEORY OF ROBOT CONTROL
The ZODIAC
Carlos Canudas de Wit, Bruno Siciliano and Georges Bastin (Eds)
June 1996
SPRINGER-VERLAG LONDON
ISBN 3-540-76054-7
Communications and Control Engineering Series
Hardback, xvi+392 pages, 31 figures
The book collects some of the most fundamental and current results on
theory of robot control in a unified framework, by editing, improving
and completing previous works in the area.
Topics covered include:
Modeling and identification of rigid manipulators
Control of rigid manipulators in joint space and task space
Motion and force control of rigid manipulators
Modelling and control of manipulators with elastic joints
Modelling and control of manipulators with flexible links
Modelling and feedback linearization of mobile robots
Nonlinear feedback control of unicycle robots
An Appendix contains the background in control theory that is
preliminary to the study of the book contents. The sequence of parts,
besides being rational from a pedagogical viewpoint, echoes the
gradual development of robot control theory in the last fifteen
years. Such unique blend of topics makes the book a precious reference
for scholars and researchers in the field, and it has no equal among
similar specialized texts.
The ZODIAC are:
Georges Bastin
Universite' Catholique de Louvain, Belgium
Bernard Brogliato
Laboratoire d'Automatique de Grenoble, France
Guy Campion
Universite' Catholique de Louvain, Belgium
Carlos Canudas de Wit
Laboratoire d'Automatique de Grenoble, France
Brigitte d'Andrea-Novel
Ecole Nationale Superieure des Mines de Paris, France
Alessandro De Luca
Universita` degli Studi di Roma "La Sapienza", Italy
Wisama Khalil
Ecole Centrale de Nantes, France
Rogelio Lozano
Universite' de Technologie de Compiegne, France
Romeo Ortega
Universite' de Technologie de Compiegne, France
Claude Samson
INRIA Centre de Sophia-Antipolis, France
Bruno Siciliano
Universita` degli Studi di Napoli Federico II, Italy
Patrizio Tomei
Universita` degli Studi di Roma "Tor Vergata", Italy
For more information, please contact your local Springer representative,
or write to:
Nicholas Pinfield
Engineering Editor
Springer-Verlag London Limited
Sweetapple House, Catteshall Road
Godalming, Surrey GU7 3DJ, UK
Fax: +44 (1483) 415144
E-mail: pnp@svl.co.uk
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by Paolo Brandimarte
NEW BOOK ANNOUNCEMENT
Advanced Models for Manufacturing Systems Management
Paolo Brandimarte and Agostino Villa
Politecnico di Torino, Italy
Description
This book presents the mathematical models applicable to manufacturing
systems management, covering problems from production to real time
control. It explores manufacturing systems from the viewpoints of
both physical structure and performance measures. Two broad classes of
mathematical models are covered in detail:
* Generative models, which yield a set of decision variables optimizing
a performance measure, based on mathematical optimization
* Evaluative models, which evaluate some performance measures as a
function of some predefined decision strategy. Within this class Petri
Nets and Queuing Networks are discussed.
Advanced Models for Manufacturing Systems Management describes dynamic
systems modeling by state equations, a unifying framework for a wide
variety of models. The text/reference stresses model building, but it
examines model solving as well. Computational techniques are
illustrated, such as linear programming, branch and bound methods, and
dynamic programming. Particular emphasis is given to the development
of heuristic methods from mathematical models.
The book provides readers with valuable tools for management and
design. The use of descriptive models within an optimization
algorithm is considered. Numerous examples illustrate theoretical
concepts throughout text. Appendices are given at the end of the book
in order to recall fundamentals, such as linear programming and graph
theory. Appendices also appear within each chapter. In this way,
readers can follow the main reading path without getting involved with
details; these appendices can be read at a later time. This textual
structure makes this book particularly well suited for
self-study. Advanced Models for Manufacturing Systems Management is
beneficial reading for both students and practitioners.
Features
* Presents production management problems in terms of a discrete-event
dynamic model
* Considers mathematical models within a production management
architecture
* Examines descriptive and prescriptive models
* Places more technical material in interspersed appendices for better
self-teaching
* Gives extensive references to the literature
Contents
Manufacturing Systems Modeling
* The Nature of Mathematical Models of Manufacturing Systems
* Dynamic Models of Manufacturing Systems
* An Overview of Management Problems in Manufacturing Systems
* Plan of the Book
* For Further Reading
Optimization Models and Model Solving
* Classes of Optimization Models
* An Overview of Optimization Methods
* Complexity of Optimization Problems
* Good and Bad Model Formulations
* Developing Heuristics from Mathematical Models
* The Theory of NP-Completeness
* An Outlook on Multi-Objective Optimization
* For Further Reading
Discrete Time Models
* Aggregate Production Planning
* The Capacitated Lot-Sizing Problem
* The Discrete Lot-Sizing and Scheduling Problem
* Continuous Flow Models for Production Scheduling
* Discussion: The Flexibility of Discrete Time Models
* Strong Formulations for Lot-Sizing Problems
* The Single Item DLSP Problem: A Dynamic Programming Approach
* For Further Reading
DEDS Models for Scheduling Problems
* Classical Machine Scheduling Theory
* Classification of Scheduling Problems
* Polynomial Complexity Scheduling Problems
* Dynamic Programming Approaches
* A Modeling Framework Based on Node Potential Assignment
* MILP Models for Scheduling Problems
* Branch and Bound Methods
* Heuristic Scheduling Methods
* Discussion
* Dynamic Programming for Scheduling a Batch Processor
* Periodic Scheduling Problems
* A Multi-Objective Approach to Machine Loading
Evaluative Models
* Introduction to Queuing Models
* Queuing Networks
* Computational Methods for Closed Networks
* Approximate Analysis of Non-Product Form Queuing Networks
* Petri Net Models
* Product Forms and Local Balance Equations
Putting Things Together
* Integrating Optimization Methods and Evaluative Models
* Optimal Control of Failure-Prone Manufacturing Systems
* Model Management and Modeling Languages
Appendices
* Fundamentals of Mathematical Programming
* Linear Programming and Network Optimization
* Enumerative and Heuristic Methods for Discrete Optimization
* Dynamic Programming
* Stochastic Modeling
* Problems
* Bibliography
* Index
Publication and Pricing
Catalog number 8332 WGBA
September 1995, 432 pp., ISBN:0-8493-8332-3
U.S. $59.95 / Outside U.S. $72.00
******************************************
* *
* Journals *
* *
******************************************
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by Huibert Kwakernaak
AUTOMATICA
Table of contents
May, 1996 Issue 32:5
Regular Papers
J-M. Coron, E-Y. Kerai Explicit feedbacks stabilizing the attitude of
a rigid spacecraft with two control torques
B. Armstrong-Helouvry, B. PID Control in the presence of static
Amin friction, a comparison of algebraic and
describing function analysis
B. Wahlberg, P.M. Makila On approximation of stable linear dynamical
systems using Laguerre and Kautz functions
A. Lindquist, G. Picci Canonical correlation analysis, approximate
covariance extension, and identification of
stationary time series
R. A. Freeman, P. V. Tracking controllers for systems linear in the
Kokotovic unmeasured states
A. H. W. Geerts, J. M. Impulsive-smooth behavior in multimode systems
Schumacher Part I: State-space and polynomial
representations
D. E. Miller A tradeoff between period and order of linear
periodic stabilizing compensators
Brief Papers
Tzuen-Lih Chern, Chin-Wen Design of discrete integral variable structure
Chuang, Rong-Lin Jiang control systems and application to a
brushless DC motor control
Liuping Wang, W. R. Cluett Use of PRESS residuals in dynamic system
identification
B. E. A. Milani, C. E. T. On invariant polyhedra of continous-time
Dorea systems subject to additive disturbances
Tae-Yong Kuc, Jin Soo Lee Learning strictly positive real linear systems
with uncertain parameters and unknown input
disturbances
Technical Communiques
A. Tzes, Ke Le Weighted minimum uncertainty prediction
control
K-K. Shyu, S-R. Chen Estimation of asymptotical stability region
and sliding domain of uncertain variable
structure systems with bounded controllers
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: thomas@siam.org
SIAM JOURNAL ON Control and Optimization
JULY 1994 Volume 34, Number 4
CONTENTS
Infinite-Horizon Variational Problems with Nonconvex Integrands
Arie Leizarowitz and Alexander J. Zaslavski
Copositivity and the Minimization of Quadratic Functions with Nonnegativity
and Quadratic Equality Constraints
J. C. Preisig
Perturbed Optimization in Banach Spaces I: A General Theory Based on a Weak
Directional Constraint Qualification
J. Frederic Bonnans and Roberto Cominetti
Perturbed Optimization in Banach Spaces II: A Theory Based on a Strong
Directional Constraint Qualification
J. Frederic Bonnans and Roberto Cominetti
On Finite-Gain Stabilizability of Linear Systems Subject to Input Saturation
Wensheng Liu, Yacine Chitour, and Eduardo Sontag
On Some Relations Between Chaney's Generalized Second-Order Directional
Derivative and That of Ben-Tal and Zowe
L. R. Huang and K. F. Ng
Consistent Approximations for Optimal Control Problems Based on Runge-Kutta
Integration
A. Schwartz and E. Polak
On L^2 Sufficient Conditions and the Gradient Projection Method for Optimal
Control Problems
J. C. Dunn
Large-Time Local Controllability via Homogeneous Approximations
Henry Hermes
Equivalent Subgradient Versions of Hamiltonian and Euler-Lagrange Equations in
Variational Analysis
R. Tyrrell Rockafellar
An A Priori Estimate for Discrete Approximations in Nonlinear Optimal Control
Asen L. Dontchev
A Nevanlinna-Pick Approach to Time-Domain Constrained H_infinity Control
Hector Rotstein
Partially Observed Differential Games, Infinite-Dimensional
Hamilton-Jacobi-Isaacs Equations, and Nonlinear H_infinity Control
M. R. James and J. S. Baras
Inverse Optimality in Robust Stabilization
R. A. Freeman and P. V. Kokotovic
The Structured Singular Value for Linear Input/Output Operators
Hari Bercovici, Ciprian Foias, and Allen Tannenbaum
A Turnpike Theory for Infinite-Horizon Open-Loop Competitive Processes
D. Carlson and A. Haurie
The Generalized Solutions of Nonlinear Optimization Problems with Impulse
Control
Boris M. Miller
A Differential Game with Two Players and One Target
Pierre Cardaliaguet
Information Capacity of Channels with Partially Unknown Noise. II.
Infinite-Dimensional Channels
C. R. Baker and I.-F. Chao
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Mike Groth
Kluwer Academic Publishers
Dynamics and Control
Contents Volume 6, Issue 3, July 1996
Z. Emirsajlow, A. J. Pritchard, and S. Townley, On Structured Perturbations
for Two Classes of Linear Infinite-Dimensional Systems
227
Mary Ann Horn and Irena Lasiecka, Nonlinear Boundary Stabilization of
Parallelly Connected Kirchoff Plates
263
Thomas E. Carter, Closed-Form Solution of an Idealized, Optima, Highly
Eccentric Hyperbolic Rendezvous Problem
293
A. T. Alexandridis, On the Upper Bound Explicit Solutions of the Lyapunov
Equation
309
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by Jan H. van Schuppen
(J.H.van.Schuppen@cwi.nl)
MCSS TABLE OF CONTENTS AND LIST OF ACCEPTED PAPERS
Volume 8, Number 3
W.H. Fleming and M.R. James,
The risk-sensitive index and the $H_2$ and $H_{\infty}$
norms for nonlinear systems,
MCSS 8 (1995), 199-221.
J. Leventides and N. Karcanias,
Sufficient conditions for arbitrary pole assignment by constant
decentralized output feedback,
MCSS 8 (1995), 222-240.
S.K. Biswas and N.U. Ahmed,
Disturbance rejecting optimal regulation of hyperbolic systems,
MCSS 8 (1995), 241-256.
N.F. Dudley Ward and J.R. Partington,
Rational wavelet decompositions of transfer functions in
Hardy-Sobolev classes,
MCSS 8 (1995), 257-278.
L.A.B. San Martin,
On global controllability of discrete-time control systems,
MCSS 8 (1995), 279-297.
PAPERS ACCEPTED FOR PUBLICATION BUT NOT YET PUBLISHED IN MCSS
J.A. Ball, I. Gohberg, and M.A. Kaashoek,
A frequency response function for linear time-varying systems.
E.K. Boukas and H. Yang,
Stability of discrete time linear systems with Markovian
jumping parameters.
A. Feintuch,
The time-varying gap and coprime factor perturbations.
J.M. Francos, B. Porat, and A.Z. Meiri,
Orthogonal decomposition of 2D nonhomogeneous discrete random
fields.
H. Hermes,
Resonance, stabilizing feedback controls, and regularity
of viscosity solutions of Hamilton-Jacobi-Bellman equations.
A. Iggidr, B. Kataline, and R. Outbin,
Semi-definite Lyapunov functions: Stability and stablization.
W. Respondek and M. Zhitomirskii,
Feedback classification of nonlinear control systems on 3-manifolds.
R. Sepulchre and D. Aeyels,
Homogeneous Liapunov functions and necessary conditions for
stability.
Y. Wang and L. Praly,
Stabilization in spite of matched unmodelled dynamics and an
equivalent definition of input-to-state stability.
INFORMATION
Information on MCSS including tables of contents is
available at its home pages:
- http://www.cwi.nl/cwi/departments/BS3/mcss.html
- http://www.math.rutgers.edu/~sontag/mcss.html
Papers must be submitted to:
J.H. van Schuppen (Co-Editor MCSS)
CWI
P.O. Box 94079
1090 GB Amsterdam
The Netherlands
Bradley Dickinson, Eduardo Sontag, Jan van Schuppen (Editors)
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: ejc@lag.ensieg.fr (European Journal of Control)
Table of contents of
European Journal of Control, Issue nb.2/96.
Editorial
A Brief History of the Graph Topology
M. Vidyasagar
A New Mechanism for Exception Handling in Concurrent Control Systems
D.A. van Beek, J.E. Rooda
Multiplying Disks : Robust Stability of a Cascade Connection
B.T. Polyak, A.N. Vishnyakov
A Discrete-time H Observer-based Controller & its Application to a Glass
Tube Production Process
R. Samar, G. Murad, I. Postlethwaite, D.W. Gu
Discrete-time Convex Direction for Matrices
L. Xie, M. Fu
Dual Control of Linearly Parameterized Models via Prediction of Posterior
Densities
C. Kulcsar, L. Pronzato, E. Walter
Global Tracking Control of one Degree of Freedom Euler-Lagrange Systems
Without Velocity Measurements
A. Loria
Column Reduction of Polynomial Matrices ; Some Remarks on the Algorithm of
Wolovich
A.J. Geurts, C. Praagman
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: dr Slawomir Nikiel
I would like to inform readers of the journal:
"Applied Mathematics and Software Engineering"
edited and published by Dept. of Robotics and Software Engineering,
Technical University of Zielona Gora, Poland that full information is
currently available via Internet.
Visit the AMCS home page at:
http://www.irio.wsi.zgora.pl/amcs.html
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: liyi@zach.wustl.edu
Special Issue on Discrete Event Systems
This is to announce the forthcoming special issue of Mathematical and
Computer Modelling on Recent Advances in Discrete Event Systems. This
issue is dedicated to Y.C. Ho, pioneer of the field of Discrete Event
Systems, in celebration of his 60th birthday and of several decades of
contributions to systems and control theory.
MATHEMATICAL AND COMPUTER MODELLING
--------------------------------------------------------------------
Volume 23, Number 11/12 June, 1996
Special Issue on
RECENT ADVANCES IN DISCRETE EVENT SYSTEMS
Guest Editors
C.G. Cassandras
Department of Electrical and Computer Engineering
University of Massachusetts
Amherst, MA 01003
and
Liyi Dai
Department of Systems Science and Mathematics
Washington University
St. Louis, MO 63130
Table of Contents
-----------------
C.G. Cassandras and xi Preface
Liyi Dai
C.G. Cassandras and xiii Dedication
Liyi Dai
A.D. Gandhi and 1 Optimal Control of Polling Models for
C.G. Cassandras Transportation Applications
J.G. Thistle 25 Supervisory Control of Discrete Event Systems
J.A. Stiver, 55 A Logical DES Approach to the Design of
P.J. Antsaklis and Hybrid Control Systems
M.D. Lemmon
X.-R. Cao 77 Uniformization and Performance Sensitivity
Estimation in Closed Queueing Networks
C.-S. Chang, 93 Scheduling Parallel Processors: Structural
R. Nelson and Properties and Optimal Policies
D.D. Yao
G.I. Winograd and 115 The FCFS Service Discipline: Stable Network
P.R. Kumar Topologies, Bounds on Traffic Burstiness and
Delay, and Control by Regulators
W. Zhai, P. Kelly 131 Genetic Algorithm with Noisy Fitness
and W.-B. Gong
L. Dai 143 Sensitivity Analysis of Stationary Performance
Measures for Markov Chains
B.H. Krogh and 161 State Feedback Control of Condition/Event
S. Kowalewski Systems
A. Jean-Marie and 175 Analysis of Stochastic Min-Max-Plus Systems:
G.J. Olsder Results and Conjectures
A. Puri and 191 Decidable Hybrid Systems
P. Varaiya
J. Wang and P.B. Luh 203 Scheduling of a Machining Center
B.P. Zeigler, 215 DEVS Approximation of Infiltration Using Genetic
Y. Moon, V.L. Lopes Algorithm Optimization of a Fuzzy System
and J. Kim
--------------------------------------------------------------------------
PERGAMON ISSN 0895-7177
MCMOEG 23(11/12) 1-228 (1996)
--------------------------------------------------------------------------
Further information on the special issue and the journal of Mathematical
and Computer Modelling can be obtained by contacting
Professor E. Y. Rodin
Editor-in-Chief, MCM
Department of Systems Science and Mathematics
Washington University
Campus Box 1040
St. Louis, MO 63130
Tel: 314-935-6007 or 314-935-5806
FAX: 314-935-6121
Email: rodin@rodin.wustl.edu
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Panos.J.Antsaklis
IEEE Transactions on Automatic Control
announces a Special Issue on
HYBRID CONTROL SYSTEMS
Edited by
Panos Antsaklis
Department of Electrical Engineering
University of Notre Dame
Notre Dame, IN 46556
antsaklis@nd.edu
and
Anil Nerode
Mathematical Sciences Institute
Cornell University
Ithaca, NY 14853
anil@math.cornell.edu
This special issue is devoted to recent developments in hybrid control
system modeling, analysis and synthesis.
Hybrid systems contain two distinct types of components, subsystems
with continuous dynamics and subsystems with discrete event dynamics,
that interact with each other. Hybrid systems are models for networks
of digital and continuous devices, in which digital control programs
sense and supervise continuous and discrete plants governed by
differential or difference equations.Since the continuous and discrete
dynamics interact with each other it is important to develop models
that accurately describe the dynamic behavior of such hybrid systems.
In this way it is possible to develop control strategies that fully
take into consideration the relation and interaction of the continuous
and discrete parts of the system. In the past, models for the
continuous and discrete event subsystems were developed separately;
the control law was then derived in a rather empirical fashion, except
in special cases such as the case of digital controllers for linear
time-invariant systems. The study of hybrid control systems is
essential in designing sequential supervisory controllers for
continuous systems, and it is central in designing intelligent control
systems with a high degree of autonomy.
The main emphasis in this special issue is on fundamental results in
modeling and analysis, and on synthesis methodologies for hybrid
control systems. Application of results to real life examples is
encouraged. Before submitting, prospective authors should consult
past issues of the Transactions on Automatic Control to identify the
type of results and the level of mathematical rigor that are the norm
in this journal.
The papers are due by July 1, 1996 and should be sent to Panos
Antsaklis. Notification of acceptance will be sent by December 31,
1996. The special issue is targeted for 1997 or early 1998. All
papers will be refereed as per IEEE Guidelines.
Please consult the inside back cover of any recent issue of the
Transactions on Automatic Control for style and length of the
manuscript and number of required copies (seven copies with cover
letter) to be sent to the Editor of this Special Issue.
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Yvonne Campfens
Table of Contents ROBOTICS and AUTONOMOUS SYSTEMS 17 (1-2)
Table of Contents ROBOTICS and AUTONOMOUS SYSTEMS 17 (3).
Special Issue: Research on Autonomous Mobile Robots in Japan
Contents
V. Graefe and T. Fukuda
Editorial
N.M. Charkari, K. Ishii and H. Mori
Sensory selection in vehicle detection and avoidance
H. Takizawa, Y. Shirai and J. Miura
Selective refinement of 3-D scene description by attentive observation
for mobile robot
S. Yasutomi, H. Mori and S. Kotani
Finding pedestrians by estimating temporal-frequency
and spatial-period of the moving objects
M. Inaba, S. Kagami, F. Kanehiro, K. Takeda, O. Tetsushi and H. Inoue
Vision-based adaptive and interactive behaviors in mechanical animals using
the remote-brained approach
K. Nagatani and S. Yuta
Designing a behavior of a mobile robot equipped with a manipulator
to open and pass through a door
Y-S. Ha and S. Yuta
Trajectory tracking control for navigation of the inverse pendulum type
self-contained mobile robot
T. Tsumura
Optical two-way vehicle-to-vehicle communication by the use of laser and
corner cube
K. Sekiyama and T. Fukuda
Hierarchical prediction model for intelligent communication in multiple
robotic systems
T. Okui and Y. Shinoda
An outdoor robots system for autonomous mobile all-purpose platform
S. Hirose, T. Shirasu and E.F. Fukushima
Proposal for cooperative robot "Gunryu" composed of autonomous segments
S. Kotani, H. Mori and N. Kiyohiro
Development of the robotic travel aid "HITOMI"
Robotics and Autonomous Systems
Vol. 17, No. 3, May 1996
Contents
C.M. Gosselin and M. Jean
Determination of the workspace of planar parallel manipulators with joint
limits
G. Desaulniers
On shortest paths for a car-like robot maneuvering around obstacles
H. Cheng and H.D. Cheng
Feasible map algorithm for path planning
X. Deng, E. Milios and A. Mirzaian
Landmark selection strategies for path execution
S. Hert and V. Lumelsky
The ties that bind: Motion planning for multiple tethered robots
******************************************
* *
* Conferences *
* *
******************************************
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: M. Gemme
Third International Conference on
Intelligent Tutoring Systems
ITS'96
June 12-14, 1996
MONTREAL
http://www.iro.umontreal.ca/labs/its/its96.html
Advanced Program
----------------------------------------------------------------
A complete version of this advanced program can be sent on
request. Please contact:
gemme@iro.umontreal.ca
----------------------------------------------------------------
Invited Speakers:
- Kurt Van Lehn, LRDC, Pittsburgh, USA
- David Merrill, Utah State University, USA
- Charles Bloom, Nynex, USA
- Guy Boy, EURISCO, France
- Allan Collins, Bolt Beranek and Newman, USA
- Roger Schank, Northwestern University, USA
Workshops:
W1: The Role of Qualitative Reasoning Techniques in Intelligent Tutoring
Systems
B. Bredeweg (Chair), B. Chandrasekaran
A. Diaz,, J.Y. Djamen (Chair)
A.K. Ramapo, G. Vouros, B. White, R. Winkels
W2: Architectures and Methods for Designing Cost-Effective and Reusable ITSs
Brant Cheikes (Chair), Neil Jacobstein,
Tom Murray, Dan Suthers (Chair)
W3: Simulation-Based Learning Technology
Leila Alem (Chair), Beverly Woolf (Chair)
Allen Munro, Wouter van Joolingen
*Note that Workshops will be held on June 10 and 11
Tutorials:
T1: Creating Educational Software with Java and Hot Java
M. Kaltenbach, Bishop's University
June 10, 9:00 - 12:00
T2: Instructional Design for Collaborative Distance Learning
J. Bourdeau, Universite du Quebec a Chicoutimi
June 10, 14:00 - 17:00
T3: Explanations in Instructional Systems: Using Task and Causal Models
B. Chandrasekaran, Ohio State University
June 11, 9:00 - 12:00
T4: Student Modelling: Cognitive Approaches
V. Shute, Armstrong Laboratory, US Air Force
June 11, 14:00 - 17:00
If you need more informations do not hesitate to contact me by email.
Best regards.
Martine Gemme Universite de Montreal
Secretaire FAS - IRO
Groupe Safari Pavillon Andre Aisenstadt
Registration & Treasurer local 2365
ITS'96 Conference Telephone(phone): (514) 343-5648
e-mail: gemme@iro.umontreal.ca Telecopieur(fax): (514) 343-5834
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Radko Mesiar
Call for Papers
IFSA'97 Prague
Seventh IFSA World Congress
June 25-29, 1997
International Fuzzy Systems Association (IFSA) is pleased to
announce that the next IFSA World Congress will take place
in Prague in the Czech Republic in June 25-29, 1997. This is the
first time this congress, which is regularly held every two years
in either of America, Asia or Europe, will take place in a former
East European country.
All the information concerning the Congress and its program can be
obtained from:
* IFSA'97
* Action M Agency
* Milena Zeithamlova
* Vrsovicka 68
* 101 00 Prague 10
* Czech Republic
*
* tel: +42-2-6731 2333-4
* fax: +42-2-6731 0503
* e-mail: actionm@cuni.cz
* WWW: http://is.vse.cz/ifsa97/home.htm
* GOPHER: gopher.vse.cz
* FTP: ciks.vse.cz
Main Congress Topics
- Fuzzy and non-standard logics and approximate reasoning
- Mathematical foundations
- Uncertainty and belief mesures
- Information and data analysis
- Natural language processing
- Applications in social and economical sciences
- Industrial applications
- New hardware developments
- Decision-making and control
- Artificial intelligence and robotics
- Neural networks and learning
- Genetic algorithms and computational optimization
- Chaos and its engineering
- Classification and image processing
The official language will be English.
Instructions for the authors and a complete call for papers including
the pre-registration form is available on
ifsa97@vox.cvt.stuba.sk
Dates and Deadlines
===================
October 31, 1996 Deadline for submission of papers
January 31, 1997 Notification of acceptance or rejection
March 31, 1997 Reception of camera-ready papers
May 15, 1997 Deadline for registration
June 25-29, 1997 CONGRESS
Honorary Chair
==============
Lotfi A. Zadeh
General Chair
=============
Vilem Novak
(University of Ostrava, Ostrava)
***************
* Area Chairs *
***************
Mathematical Background, Basic Science
======================================
Dan Butnariu
E-mail: dbutnaru@mathcs2.haifa.ac.il
Reasoning, Artificial Intelligence, Intelligent Information Systems
===================================================================
B. Bouchon-Meunier
E-mail: ifsa97@vox.cvt.stuba.sk
Operation Research, Data Analysis, Economics, Preference Modeling,
Decision Analysis
==================================================================
Hideo Tanaka
E-mail: hideot@center.osakafu-u.ac.jp
Engineering Applications, Financial Engineering
===============================================
Zeungnam Bien
E-mail: zbien@ee.kaist.ac.kr
Applications in Non-engineering Sciences, Life Sciences, Behavioural
Sciences, Medicine, Biology
====================================================================
Patrik Eklund
E-mail: peklund@cs.umu.se
Classification, Image Processing
================================
Jim Keller
E-mail: keller@ece.missouri.edu
Fuzzy Systems, Control, Neural Nets, Soft Computing
===================================================
Witold Pedrycz
E-mail: pedrycz@eeserv.ee.umanitoba.ca
Other Topics
============
Radko Mesiar
E-mail: ifsa97@vox.cvt.stuba.sk
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Dr. Y.Y. Wang ,EYYWANG@ntuvax.ntu.ac.sg>
CALL FOR PAPERS
IPEC '97
INTERNATIONAL POWER ENGINEERING CONFERENCE
21 - 23 May 1997,
Nnayang Technological University, Singapore
INTRODUCTION
IPEC'97, the third in a continuing series of biennial International
Power Engineering Conferences, will be held again at Nanyang
Technological University (NTU), Singapore from 21 - 23 may, 1997. This
conference is jointly organised by NTU, IEE Singapore Centre, The
Singapore Power, Institution of Engineers, Singapore and National
University of Singapore. The first two conferences were well attended
by over 200 delegates from 23 countries. IPEC'97 aims at providing a
stimulating forum for academics and practising engineers in industry
alike to promote, discuss and exchange issues related to the field of
electrical power engineering.
SCOPE
The conference will include regular sessions on major aspects of the
theory, design and applications of electrical apparatus and power
systems. To assist the review process, conference topics are
categorised along, but not limited to, the following main headings:
1. System planning and design
2. System modelling and simulation
3. System stability and analysis
4. Power system reliability and security
5. Transmissionincluding HVDC and FACTS
6. High voltage engineering
7. Operation and control
8. Energy management and load dispatch
9. Distribution automation
10. System protection
11. Power electronics and drives
12. Power system harmonics
13. AI applications
14. Power engineering education
CONTRIBUTIONS
Perspective authors are invited to submit abstracts of 300-500
words. Each submitted abstract should include the following
information: paper title, the most applicable topic number according
to the above list, author(s), mailing address and Fax No. The deadline
for the submission of abstract is 15 July 1996. Submissions should be
sent to:
Associate Professor S S Choi
Chairman, IPEC'97
School of Electrical and Electronic Engineering
Nanyang Technological University
Nanyang Avenue
Singapore 639798
Fax: (65) 7912687
E-Mail: sschoi@ntuvax.ntu.ac.sg
SCHEDULE
Deadline for submission of abstract 15 July 1996
Notification of provisional acceptance 15 September 1996
Submission of camera-ready papers 15 December 1996
Notification of final acceptance 28 February 1997
VENUE
The conference will be held at Nanyang Technological University, Singapore.
OFFICIAL LANGUAGE
The official language for written and printed materials, as well as
presentation and discussion, is English.
REGISTRATION
All participants are required to pay the registration fees. The
registration fee includes full participation in the conference
program, lunches, coffee breaks, a conference banquet and a copy of
the Conference Proceedings.
REGISTRATION FEE
Early bird registration before 15 April 1997 : S$450
Normal registration : S$500
Organisers
Nanyang Technological University
IEE Singapore Centre
Singapore Power Pte. Ltd.
Institution of Engineers, Singapore
National University of Singapore
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: C. Canudas de Wit (canudas@lag.grenet.fr)
Romeo Ortega (rortega@hds.utc.fr)
The European network on "Nonlinear and Adaptive Control: Towards a Design
Methodology for Physical Systems", of the Human Capital and Mobility
Program invites to
WORKSHOP ON NONLINEAR AND ADAPTIVE CONTROL
Laboratoire d'Automatique de Grenoble
INPG . ENSIEG . CNRS
SEPTEMBER 16 - 17, 1996
Grenoble, France
Organized by:
C. Canudas de Wit, R. Lozano and B. Brogliato
LOCATION:
E.N.S. d'Ingenieurs Electriciens de Grenoble
Domaine Universitaire
Rue de la Houille Blanche
38402 - Saint-Martin-d'Heres - France
AIM OF THE WORKSHOP
The objective of this two-day workshop is to present a state of the art of
the nonlinear and adaptive control techniques via a set of tutorial
conferences, and to present contributions from the collaboration resulting
from the Capital and Mobility European network on " Nonlinear and Adaptive
Control: Towards a design Methodology for Physical Systems". Tutorial
conferences will be presented by experts in the area.
Attendees will get a good understanding on existing methods for designing
nonlinear controllers as well as information about some techniques tested
in practice.
POTENTIAL ATENDEES
This workshop is particularly intended for:
* PhD students wishing to learn about nonlinear and adaptive control
techniques.
* Researchers and Professors wishing to acquire an expertise, or to
up-date their information for future research or teaching. Two of the
tutorial lecturers are authors of recent books used for research and
education.
* Engineers from industry dealing with nonlinear and physical systems
MAIN LECTURERS
P. Kokotovic UNIVERSITY OF SANTA BARBARA (U.S.A)
R. Marino UNIVERSITY ROMA II (Italy)
L. Praly ECOLE DES MINES DE PARIS (France)
K.J. Astrom LUND INST. OF TECHNOLOGY (Sweden)
J. Scherpen UNIVERSITY OF DELFT (Holland)
H. Nijmeijer UNIVERSITY OF TWENTE (Holland)
A. Van der Schaft UNIVERSITY OF TWENTE (Holland)
S. Bittanti POLYTECHNIC OF MILAN (Italy)
R. Lozano UNIVERSITY OF COMPIEGNE (France)
R. Ortega UNIVERSITY OF COMPIEGNE (France)
P. Albertos UNIVERSITY OF VALENCE (Spain)
C. Canudas de Wit LAG (France)
B.Brogliato LAG (France)
REGISTRATION FEES
. Non academics.............................................2 400 FF
. Academics ................................................ 960 FF
. Students ................................................. 600 FF
. Members of the EHCM network............................... 300 FF
REGISTRATION DEADLINE: August 30, 1996
Registration after this date will be possible, but with an overhead of 30 %.
(Please, contact the secretariat as quickly as possible)
SECRETARIAT. For more information contact:
Adaptive and Nonlinear Workshop
A l'attention de Marie-Therese DESCOTES-GENON
Laboratoire d'Automatique de Grenoble
B.P. 46, 38402 - Saint-Martin-d'Heres - France
Tel. 76.82.62.44 Fax. 76 82 63 88
Email : mariethe@lag.grenet.fr
Web : http : //armor.ensieg.fr
http://www.hds.univ-compiegne.fr/~rortega/ecntw
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Guan Xiao Hong
The Second Chinese World Congress
on Intelligent Control and Intelligent Automation
Xian Jiaotong University,
Xian, China
June 23-27, 1997
CALL FOR PAPERS
Since its inception in 1993, the CWC ICIA is emerging to be one of the
most important conferences in China for scientists, engineers and
educators all over the world in intelligent control and intelligent
automation. The Congress covers a broad range of disciplies,
including systems engineering, control engineering, computer science
and engineering, manufacturing engineering, and many other areas. The
aim is to provide an international forum for researchers and
practicioners to exchange ideas and experiences in the above areas,
and to discuss the latest development in the field. The technical
topics include:
Intelligence and expert Systems;
Intelligent control;
Neural networks and applications;
Fuzzy systems and fuzzy control;
Robotics and robot control;
Large scale systems;
Scheduling, planning, management and decision systems;
Autonomy, integrity and failure diagnosis;
Automation, control and optimization of manufacturing systems;
Theory and applications of DEDS;
CAD/CAM/CIM;
Information processing and information systems;
Systems theory and control theory;
Modeling, identification and estimation;
Adaptive control;
Variable structure control;
Nonlinear systems and control;
H-infinite control and robust control;
Optimization and optimal control;
Distributed computer control systems;
Instrumentation; and
Other topics relevant to intelligent control and intelligent automation.
The Second Congress will be held in Xian, an ancient capital of many
Chinese dynasties and a famous modern tourist city of the world. The
social events include visiting the eighth wonder of the world, the
Museum of Terra Cota Warriors of Qin Dynasty; homage to the Tomb of
Yellow Emperor; etc.
GENERAL CHAIR
T. C. Hsia, University of California at Davis, U.S.A.
PROGRAM CHAIR
T. J. Tarn, Washington University, U.S.A.
LANGUAGES
Chinese or English
SUBMISSION
Send three copies of the draft paper to:
(for authors from North America and Europe)
Prof. T. J. Tarn
Department of Systems Science and Math
Washington University, Campus Box 1040
One Brooking Dr.
St. Louis, Missouri 63103-4899
U.S.A.
Tel: (314) 935-6037
Email: tarn@wuauto.wustl.edu
(for authors from other areas)
Prof. Chongzhao Han
Institute of Systems Engineering
Xian Jiaotong University,
Xian, Shaanxi 710049
P. R. China
Tel: +86 29 326-8677
Fax: +86 29 323-7910
E-mail: bshu@xjtu.edu.cn (Prof. B. Hu ),
czhan@xjtu.edu.cn (Prof. C. Han),
xhguan@xjtu.edu.cn(Prof. X. Guan)
DEADLINES
1. September 15,1996
Draft paper received
2. January 1, 1997
Notification of acceptance
3. February 15, 1997
Camera-ready manuscripts received
4. May 15, 1997
Proceedings published
BEST PAPER AWARD
Two best papers will be awarded the E-TECH AWARD of $1000 each. They will
be determined by the IPC, and will be awarded during the Congress by Dr.
Carter Tseng, the president of E-TECH, INC., Taiwan. Donation for
other awards for the outstanding papers is welcome.
*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.*.**
Contributed by: Bassam Bamieh
There will be two parallel pre-IFAC workshops held at the Center for
Control Engineering and Computation at the University of California at
Santa Barbara. Details and lists of participants are included below.
Further details and information about the workshop can be found at
( http://black.csl.uiuc.edu/~bamieh/workshops ) or by contacting
the address at the end of this announcement.
-------------------------------------------------------
WORKSHOP ON L1 METHODS IN ROBUST CONTROL DESIGN
Friday, June 28, 1996
Center for Control Engineering and Computation
University of California, Santa Barbara
Organizers:
Bassam Bamieh (University of Illinois at Urbana-Champaign)
Mohammed Dahleh (University of California at Santa Barbara)
Participants:
Bassam Bamieh (University of Illinois at Urbana-Champaign, USA)
Munther A. Dahleh (MIT, USA)
Mohammed Dahleh (University of California at Santa Barbara, USA)
Girish Deodhare (IIS, Bangalore, India)
Nicola Elia (MIT, USA)
Mustafa Khammash (Iowa State University, USA)
Wei-Min Lu (University of California at Berkeley, USA)
Alexandre Megretsky (Iowa State University, USA)
Sean Meyn (University of Illinois at Urbana-Champaign, USA)
Daniel Miller (Waterloo University, Canada)
Yoshito Ohta (University of Osaka, Japan)
Murti Salapaka (University of California at Santa Barbara, USA)
Jeff Shamma (University of Texas, USA)
Anton Stoorvogel (Eindhoven University of Technology, Netherlands)
Petros Voulgaris (University of Illinois at Urbana-Champaign, USA)
---------------------------------------------------------
NONLINEAR AND ADAPTIVE CONTROL DESIGNS AND APPLICATIONS
Friday, June 28, 1996
Center for Control Engineering and Computation
University of California, Santa Barbara
ORGANIZERS
Tamer Basar (University of Illinois at Urbana-Champaign, USA)
Petar Kokotovic (University of California, Santa Barbara, USA)
ATTENDEES
Andrzej Banaszuk (University of California, Davis, USA)
Tamer Basar (University of Illinois at Urbana-Champaign, USA)
Carlos Canudas De Wit (Laboratoire d'Automatique de Grenoble, France)
Randy Freeman (Northwestern University, USA)
Ioannis Kanellakopoulos (University of California, Los Angels, USA)
Farshad Khorrami (Polytechnic University, USA)
Ilya Kolmanovsky (Ford Motor Company, USA )
Miroslav Krstic (University of Maryland, USA)
Maolin Long (Clarkson University, USA)
Juraj Medanic (University of Illinois at Urbana-Champaign, USA)
Anatoly Pervozvanski (Technical University of St. Petersburg, Russia)
Anders Rantzer (Lund Institute of Technology, Sweden)
Mark W. Spong (University of Illinois at Urbana-Champaign, USA)
--------------------------------
Further Information: Deanna Holdsworth, deanna@xanadu.ece.ucsb.edu,
Tel: 805-893-7066.
******************************************
* *
* THE END *
* *
******************************************