INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I
The present book includes a set of selected papers from the first “International Conference on Informatics in Control Automation and Robotics” (ICINCO 2004), held in Setúbal, Portugal, from 25 to 28 August 2004. The conference was organized in three simul
- PDF / 12,266,214 Bytes
- 288 Pages / 537.84 x 753.985 pts Page_size
- 46 Downloads / 248 Views
NFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I
Informatics in Control, Automation and Robotics I
Edited by
JOSÉ BRAZ Escola Superior de Tecnologia de Setúbal, Portugal
HELDER ARAÚJO University of Coimbra, Portugal
ALVES VIEIRA Escola Superior de Tecnologia de Setúbal, Portugal and
BRUNO ENCARNAÇÃO INSTICC - Institute for Systems and Technologies of Information, Control and Communication, Setúbal, Portugal
A C.I.P. Catalogue record for this book is available from the Library of Congress.
ISBN-10 ISBN-13 ISBN-10 ISBN-13
1-4020-4136-5 (HB) 978-1-4020-4136-5 (HB) 1-4020-4543-3 (e-books) 978-1-4020-4543-1 (e-books)
Published by Springer, P.O. Box 17, 3300 AA Dordrecht, The Netherlands. www.springer.com
Printed on acid-free paper
All Rights Reserved © 2006 Springer No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Printed in the Netherlands.
TABLE OF CONTENTS
Preface ................................................................................................................................................. ix Conference Committee ....................................................................................................................... xi
INVITED SPEAKERS ROBOT-HUMAN INTERACTION: Practical experiments with a cyborg Kevin Warwick............................................................................................................................................................... 3 INDUSTRIAL AND REAL WORLD APPLICATIONS OF ARTIFICIAL NEURAL NETWORKS - Illusion or reality? Kurosh Madani ............................................................................................................................................................ 11 THE DIGITAL FACTORY - Planning and simulation of production in automotive industry F. Wolfgang Arndt....................................................................................................................................................... 27 WHAT'S REAL IN "REAL-TIME CONTROL SYSTEMS"? Applying formal verification methods and real-time rule-based systems to control systems and robotics Albert M. K. Cheng ..................................................................................................................................................... 31 SUFFICIENT CONDITIONS FOR THE STABILIZABILITY OF MULTI-STATE UNCERTAIN SYSTEMS, UNDER INFORMATION CONSTRAINTS Nuno C. Martins, Munther A. Dahleh and Nicola Elia............................................................................................. 37 PART 1 – INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION DEVICE INTEGRATION INTO AUTOMATION SYSTEMS WITH CONFIGURABLE DEVICE HANDLER Anton Scheibelmasser, Udo Traussnigg, Georg Sc
Data Loading...
