Computer Aided Systems Theory EUROCAST 2009

12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers ... Of special importance is the internal grounding which is based on monitoring internal processes of the robotic system.

Computer Aided Systems Theory   EUROCAST 2009

This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009, held in Las Palmas de Gran Canaria, Spain in February 2009. The 120 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on systems theory and simulation: formal approaches, computation and simulation in modeling biological Systems, intelligent information processing, applied formal verification, computer vision and image processing, mobile and autonomous systems: robots and cars, simulation based system optimization, signal processing methods in systems design and cybernetics, polynomial models in control system design, heurist problem solving, simulation and formal methods in systems design and engineering, models of co-operative engineering systems.

Computer Aided Systems Theory EUROCAST 2009

This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009, held in Las Palmas de Gran Canaria, Spain in February 2009.

Computer Aided Systems Theory   EUROCAST 2009

The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 1980s to refer to computer theoretical and practical developments as tools for solving problems in system science. It was thought of as the third component (the other two being CAD and CAM) required to complete the path from computer and systems sciences to practical developments in science and engineering. Franz Pichler, of the University of Linz, organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST (Las Palmas, February 1989) under the name EUROCAST'89. This proved to be a very successful gathering of systems theorists, computer scientists and engineers from most European countries, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years, alternating between Las Palmas de Gran Canaria and a continental European location. From 2001 the conference has been held exclusively in Las Palmas. Thus, successive EUROCAST meetings took place in Krems (1991), Las Palmas (1993), In- bruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001), Las Palmas (2003) Las Palmas (2005) and Las Palmas (2007), in addition to an extra-European CAST c- ference in Ottawa in 1994.

Computer Aided Systems Theory EUROCAST 2011

Chaczko, Z., Resconi, G.: Morphotronic system applications. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds.) EUROCAST 2009. LNCS, vol. 5717, pp. 905–912. Springer, Heidelberg (2009) 4. Chaczko, Z., Resconi, G.: Organising ...

Computer Aided Systems Theory    EUROCAST 2011

The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools; software applications; computation and simulation in modelling biological systems; intelligent information processing; heurist problem solving; computer aided systems optimization; model-based system design, simulation, and verification; computer vision and image processing; modelling and control of mechatronic systems; biomimetic software systems; computer-based methods for clinical and academic medicine; modeling and design of complex digital systems; mobile and autonomous transportation systems; traffic behaviour, modelling and optimization; mobile computing platforms and technologies; and engineering systems applications.

Computer Aided Systems Theory EUROCAST 2017

The computer assisted surgical trainer: design, models, and implementation. ... In: 2008 Conference on Human System Interactions, pp. ... EUROCAST 2009. LNCS, vol. 5717, pp. 889–896. Springer, Heidelberg (2009). https://doi.org/10.

Computer Aided Systems Theory     EUROCAST 2017

The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017. The 117 full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on: pioneers and landmarks in the development of information and communication technologies; systems theory, socio-economic systems and applications; theory and applications of metaheuristic algorithms; stochastic models and applications to natural, social and technical systems; model-based system design, verification and simulation; applications of signal processing technology; algebraic and combinatorial methods in signal and pattern analysis; computer vision, deep learning and applications; computer and systems based methods and electronics technologies in medicine; intelligent transportation systems and smart mobility.

Computer Aided Systems Theory EUROCAST 2015

... Bianchi, L., Gambardella, L.M.: New approximation-based local search algorithms for the probabilistic traveling salesman problem. In: MorenoD ́ıaz, R., Pichler, F., Quesada-Arencibia, A. (eds.) EUROCAST 2009. LNCS, vol. 5717, pp.

Computer Aided Systems Theory     EUROCAST 2015

This volume constitutes the papers presented at the 15th International Conference on Computer Aided Systems Theory, EUROCAST 2015, held in February 2015 in Las Palmas de Gran Canaria, Spain. The total of 107 papers presented were carefully reviewed and selected for inclusion in the book. The contributions are organized in topical sections on Systems Theory and Applications; Modelling Biological Systems; Intelligent Information Processing; Theory and Applications of Metaheuristic Algorithms; Computer Methods, Virtual Reality and Image Processing for Clinical and Academic Medicine; Signals and Systems in Electronics; Model-Based System Design, Verification, and Simulation; Digital Signal Processing Methods and Applications; Modelling and Control of Robots; Mobile Platforms, Autonomous and Computing Traffic Systems; Cloud and Other Computing Systems; and Marine Sensors and Manipulators.

Computer Aided Systems Theory EUROCAST 2013

Computer Aided Design 34(8), 597–611 (2002) 3. Cui, Y., Yang, Y., ... Future Generation Computer Systems 26, 835–837 (2010) 5. Garg, S.K., Yeo, C.S., ... In: Moreno- Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds.) EUROCAST 2009.

Computer Aided Systems Theory    EUROCAST 2013

The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February 2013 in Las Palmas de Gran Canaria, Spain. The total of 131 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on modelling biological systems; systems theory and applications; intelligent information processing; theory and applications of metaheuristic algorithms; model-based system design, verification and simulation; process modeling simulation and system optimization; mobile and autonomous transportation systems; computer vision, sensing, image processing and medical applications; computer-based methods and virtual reality for clinical and academic medicine; digital signal processing methods and applications; mechatronic systems, robotics and marine robots; mobile computing platforms and technologies; systems applications.

Computer Aided Systems Theory EUROCAST 2009

This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009, held in Las Palmas de Gran Canaria, Spain in February 2009.

Computer Aided Systems Theory   EUROCAST 2009

The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 1980s to refer to computer theoretical and practical developments as tools for solving problems in system science. It was thought of as the third component (the other two being CAD and CAM) required to complete the path from computer and systems sciences to practical developments in science and engineering. Franz Pichler, of the University of Linz, organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST (Las Palmas, February 1989) under the name EUROCAST'89. This proved to be a very successful gathering of systems theorists, computer scientists and engineers from most European countries, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years, alternating between Las Palmas de Gran Canaria and a continental European location. From 2001 the conference has been held exclusively in Las Palmas. Thus, successive EUROCAST meetings took place in Krems (1991), Las Palmas (1993), In- bruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001), Las Palmas (2003) Las Palmas (2005) and Las Palmas (2007), in addition to an extra-European CAST c- ference in Ottawa in 1994.

Formal Methods for Components and Objects

Computer Aided Systems Theory - EUROCAST 2009. LNCS, vol. 5717, pp. 287–294. Springer, Heidelberg (2009) 6. Holzer, A., Schallhart, C., Tautschnig, M., Veith, H.: Query-driven program testing. In: Jones, N.D., Müller-Olm, M. (eds.) ...

Formal Methods for Components and Objects

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. The volume contains 17 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP6 project BIONETS on biologically inspired services evolution for the pervasive age; the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP7 project HATS on highly adaptable and trustworthy software using formal methods; the IST-FP7 project INESS on integrated European railway signalling system; the IST-FP7 project MOGENTES on model-based generation of tests for dependable embedded systems; the IST-FP6 project PROTEST on property based testing; and the IST-FP7 project QUASIMODO on quantitative system properties in model-driven-design of embedded systems.

Handbook of Model Checking

Intl. Conf. on Computer Aided Systems Theory (EUROCAST). LNCS, vol. 5717, pp. 304–311. Springer, Heidelberg (2009) Bryant, R.E.: Graph Based Algorithms for Boolean Function Manipulation. Trans. Comput. C-35(8), 677–691 (1986) Bryant, ...

Handbook of Model Checking

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic. The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.

Advanced Methods and Applications in Computational Intelligence

12th International Conference on Computer Aided Systems Theory EUROCAST 2009, vol. 2009, pp. 250–251. IUCTC Universidad de Las Palmas de Gran Canaria (2009) Wagner, S., Winkler, S., Pitzer, E., Kronberger, G., Beham, A., Braune, ...

Advanced Methods and Applications in Computational Intelligence

This book offers an excellent presentation of intelligent engineering and informatics foundations for researchers in this field as well as many examples with industrial application. It contains extended versions of selected papers presented at the inaugural ACASE 2012 Conference dedicated to the Applications of Systems Engineering. This conference was held from the 6th to the 8th of February 2012, at the University of Technology, Sydney, Australia, organized by the University of Technology, Sydney (Australia), Wroclaw University of Technology (Poland) and the University of Applied Sciences in Hagenberg (Austria). The book is organized into three main parts. Part I contains papers devoted to the heuristic approaches that are applicable in situations where the problem cannot be solved by exact methods, due to various characteristics or dimensionality problems. Part II covers essential issues of the network management, presents intelligent models of the next generation of networks and distributed systems as well as discusses applications of modern numerical methods in large intractable systems. Part III covers salient issues of complexity in intelligent system applications. This part also contains papers and articles which discuss concurrency issues that arise when multiple systems attempt to use the same radio space and the inter-connected system applications in the field of medical simulation and training.

Nature Inspired Computing

Physics and Chemistry-Based Algorithms Nazmul H. Siddique, Hojjat Adeli ... F. Pichler, A. Quesada-Arencibia, eds., 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009, Berlin, Heidelberg: Springer Verlag, pp.

Nature Inspired Computing

Nature-Inspired Computing: Physics and Chemistry-Based Algorithms provides a comprehensive introduction to the methodologies and algorithms in nature-inspired computing, with an emphasis on applications to real-life engineering problems. The research interest for Nature-inspired Computing has grown considerably exploring different phenomena observed in nature and basic principles of physics, chemistry, and biology. The discipline has reached a mature stage and the field has been well-established. This endeavour is another attempt at investigation into various computational schemes inspired from nature, which are presented in this book with the development of a suitable framework and industrial applications. Designed for senior undergraduates, postgraduates, research students, and professionals, the book is written at a comprehensible level for students who have some basic knowledge of calculus and differential equations, and some exposure to optimization theory. Due to the focus on search and optimization, the book is also appropriate for electrical, control, civil, industrial and manufacturing engineering, business, and economics students, as well as those in computer and information sciences. With the mathematical and programming references and applications in each chapter, the book is self-contained, and can also serve as a reference for researchers and scientists in the fields of system science, natural computing, and optimization.

Life System Modeling and Intelligent Computing

International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on ... In: 2009 World Summit on Genetic and Evolutionary Computation, pp. ... Computer Aided Systems Theory - EUROCAST 2009.

Life System Modeling and Intelligent Computing

The 2010 International Conference on Life System Modeling and Simulation (LSMS 2010) and the 2010 International Conference on Intelligent Computing for Susta- able Energy and Environment (ICSEE 2010) were formed to bring together resear- ers and practitioners in the fields of life system modeling/simulation and intelligent computing applied to worldwide sustainable energy and environmental applications. A life system is a broad concept, covering both micro and macro components ra- ing from cells, tissues and organs across to organisms and ecological niches. To c- prehend and predict the complex behavior of even a simple life system can be - tremely difficult using conventional approaches. To meet this challenge, a variety of new theories and methodologies have emerged in recent years on life system mod- ing and simulation. Along with improved understanding of the behavior of biological systems, novel intelligent computing paradigms and techniques have emerged to h- dle complicated real-world problems and applications. In particular, intelligent c- puting approaches have been valuable in the design and development of systems and facilities for achieving sustainable energy and a sustainable environment, the two most challenging issues currently facing humanity. The two LSMS 2010 and ICSEE 2010 conferences served as an important platform for synergizing these two research streams.

Fractional order Modeling and Control of Dynamic Systems

I. Must, V. Vunder, F. Kaasik, I. Põldsalu, U. Johanson, A. Punning, A. Aabloo, Ionic liquidbased actuators working in air: ... M. Huba, Nonlinear controllers for a fluid tank system, in Computer Aided Systems Theory - EUROCAST 2009, ...

Fractional order Modeling and Control of Dynamic Systems

This book reports on an outstanding research devoted to modeling and control of dynamic systems using fractional-order calculus. It describes the development of model-based control design methods for systems described by fractional dynamic models. More than 300 years had passed since Newton and Leibniz developed a set of mathematical tools we now know as calculus. Ever since then the idea of non-integer derivatives and integrals, universally referred to as fractional calculus, has been of interest to many researchers. However, due to various issues, the usage of fractional-order models in real-life applications was limited. Advances in modern computer science made it possible to apply efficient numerical methods to the computation of fractional derivatives and integrals. This book describes novel methods developed by the author for fractional modeling and control, together with their successful application in real-world process control scenarios.

Process Oriented Analysis and Validation of Multi Agent Based Simulations

In Workshop on Validation and Veri cation of Knowledge Based Systems, pages 10 18, August 1998. ... In R. Moreno-Díaz, F. Pichler, and A. Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2009, pages 737 744.

Process Oriented Analysis and Validation of Multi Agent Based Simulations

In multi-agent-based simulation (MABS) the behavior of individual actors is modeled in detail. The analysis and validation of these models is rated as difficult and requires support by innovative techniques and tools. Problems include model complexity, the amount and often qualitative representation of simulation results, and the typical dichotomy between microscopic modeling and macroscopic observation perspectives. In recent years, data mining has been increasingly applied as a support technique in this context. A particularly promising approach is found in the field of process mining. Due to its rooting in business process analysis, process mining shares several process- and organization-oriented analysis perspectives and use cases with agent-based modeling. This thesis proposes a conceptual framework for the systematic application of process mining to the analysis and validation of MABS. As a foundation, agent-oriented analysis perspectives and simulation-specific use cases are identified and complemented with methods, techniques, and results from the literature. A partial formalization of perspectives and use cases is sketched by utilizing concepts from process modeling and software engineering. Beyond the conceptual work, process mining is applied in two case studies related to different modeling and simulation approaches.

HCI in Mobility Transport and Automotive Systems

Ariza, M., Zato, J.G., Naranjo, J.E.: HMI design in vehicles based in usability and accessibility concepts. In: 12th International Workshop on Computer Aided Systems Theory, EUROCAST 2009. Archivo Digital UPM, Madrid (2009) 3.

HCI in Mobility  Transport  and Automotive Systems

This book constitutes the refereed proceedings of the 4th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022. The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions. The MobiTAS 2022 proceedings were organized in the following topical sections: Designing Interactions in the Mobility, Transport, and Automotive Context; Human-Centered Design of Automotive Systems; Driver Information and Assistance Systems; Studies on Automated Driving; and Micro-mobility and Urban Mobility.

Diabetes and Retinopathy

[29] M. Ortega, J. Rouco, J. Novo, M.G. Penedo, Vascular landmark detection in retinal images, in: R. Moreno-Dı ́az, F. Pichler, A. Quesada-Arencibia (Eds.), Computer Aided Systems TheoryEUROCAST 2009, Springer, Berlin, Heidelberg, ...

Diabetes and Retinopathy

Diabetes and Retinopathy brings together the multifaceted information about the research and clinical application from academic, clinical, bioengineering and bioinformatics perspectives. The editors bring together a stellar cast of authors to pull together this diverse and interesting field. Academic researchers, bioengineers, new investigators and students interested in diabetes and retinopathy need an authoritative reference to bring this multidisciplinary field together to reduce the amount of time spent on source-searching and more time on actual research and the clinical application. This reference depicts the current clinical understanding of DR as well as the many scientific advances in understanding this condition. Provides valuable information for academic clinicians, researchers, bioengineers and industry on diabetes and retinopathy Discusses the impact of diabetic retinopathy, a major cause of new-onset visual loss in all the industrialized nations Covers statistical classification techniques and risk stratification

Introduction to Reversible Computing

In Roberto Moreno-Daz, Franz Pichler, and Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2009, volume 5717 of Lecture Notes in Computer Science, pages 510–517. Springer Berlin/Heidelberg, 2009.

Introduction to Reversible Computing

Few books comprehensively cover the software and programming aspects of reversible computing. Filling this gap, Introduction to Reversible Computing offers an expanded view of the field that includes the traditional energy-motivated hardware viewpoint as well as the emerging application-motivated software approach. Collecting scattered knowledge into one coherent account, the book provides a compendium of both classical and recently developed results on reversible computing. It explores up-and-coming theories, techniques, and tools for the application of reversible computing—the logical next step in the evolution of computing systems. The book covers theory, hardware and software aspects, fundamental limits, complexity analyses, practical algorithms, compilers, efficiency improvement techniques, and application areas. The topics span several areas of computer science, including high-performance computing, parallel/distributed systems, computational theory, compilers, power-aware computing, and supercomputing. The book presents sufficient material for newcomers to easily get started. It provides citations to original articles on seminal results so that readers can consult the corresponding publications in the literature. Pointers to additional resources are included for more advanced topics. For those already familiar with a certain topic within reversible computing, the book can serve as a one-stop reference to other topics in the field.

Mobile Ad Hoc Networks

Cooperation Enforcement Schemes in Vehicular Ad-Hoc Networks, Proceedings of the 11th International Conference on Computer Aided Systems Theory EUROCAST 2009, Lecture Notes in Computer Science, No. 5717, pp. 429-436, Springer-Verlag, ...

Mobile Ad Hoc Networks

Being infrastructure-less and without central administration control, wireless ad-hoc networking is playing a more and more important role in extending the coverage of traditional wireless infrastructure (cellular networks, wireless LAN, etc). This book includes state-of the-art techniques and solutions for wireless ad-hoc networks. It focuses on the following topics in ad-hoc networks: vehicular ad-hoc networks, security and caching, TCP in ad-hoc networks and emerging applications. It is targeted to provide network engineers and researchers with design guidelines for large scale wireless ad hoc networks.

Handbook of Research on Policies Protocols and Practices for Social Work in the Digital World

In R. Moreno-Díaz, F. Pichler, & A. Quesada-Arencibia (Eds.), Lecture Notes in Computer Science: Vol. 5717. Computer Aided Systems Theory - EUROCAST 2009. EUROCAST 2009. Springer., doi:10.1007/978-3-642-04772-5_57 KEY TERMS AND ...

Handbook of Research on Policies  Protocols  and Practices for Social Work in the Digital World

Social work plays an important role in reintegrating individuals into society, educating, raising awareness, implementing social policy, and realizing legal regulations. The emergence of digital innovations and the effects of health problems including the COVID-19 pandemic on individuals and society have led to the development of innovations, virtual/digital practices, and applications in this field. The contributions of the recent pandemic and digital transformation to social work and practices should be revealed in the context of international standards. Policies, Protocols, and Practices for Social Work in the Digital World presents the current best practices, policies, and protocols within international social work. It focuses on the impact of digital applications, the effects of the COVID-19 pandemic, and digital transformation on social work. Covering topics including burnout, management, social engineering, anti-discrimination strategies, and women’s studies, this book is essential for social workers, policymakers, government officials, scientists, clinical professionals, technologists, practitioners, researchers, academicians, and students.

Distributed Computing and Artificial Intelligence

Computer Aided Systems Theory - EUROCAST 2009. LNCS, vol. 5717, pp. 785–792. Springer, Heidelberg (2009) 12. da Silva Maximiano, M., et al.: A Hybrid Differential Evolution Algorithm to Solve a Real-World Frequency Assignment Problem.

Distributed Computing and Artificial Intelligence

The International Symposium on Distributed Computing and Artificial Intel- gence (DCAI ́10) is an annual forum that brings together past experience, current work and promising future trends associated with distributed computing, artificial intelligence and their application to provide efficient solutions to real problems. This symposium is organized by the Biomedicine, Intelligent System and Edu- tional Technology Research Group (http://bisite. usal. es/) of the University of - lamanca. The present edition has been held at the Polytechnic University of - lencia, from 7 to 10 September 2010, within the Congreso Español de Informática (CEDI 2010). Technology transfer in this field is still a challenge, with a large gap between academic research and industrial products. This edition of DCAI aims at contributing to reduce this gap, with a stimulating and productive forum where these communities can work towards future cooperation with social and econo- cal benefits. This conference is the forum in which to present application of in- vative techniques to complex problems. Artificial intelligence is changing our - ciety. Its application in distributed environments, such as internet, electronic commerce, environment monitoring, mobile communications, wireless devices, distributed computing, to cite some, is continuously increasing, becoming an e- ment of high added value with social and economic potential, both industry, life quality and research. These technologies are changing constantly as a result of the large research and technical effort being undertaken in universities, companies.