Computer Aided Systems Theory -- EUROCAST 2013 PDF Download

Author: Roberto Moreno-Díaz
Publisher: Springer
ISBN: 3642538568
Category : Computers
Languages : en
Pages : 540

View

Book Description
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.

Author: Roberto Moreno-Díaz
Publisher: Springer
ISBN: 331927340X
Category : Computers
Languages : en
Pages : 887

View

Book Description
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.

Author: Roberto Moreno-Díaz
Publisher: Springer Nature
ISBN: 3030450961
Category : Computers
Languages : en
Pages : 526

View

Book Description
The two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17th International Conference on Computer Aided Systems Theory, EUROCAST 2019, held in Las Palmas de Gran Canaria, Spain, in February 2019. The 123 full papers presented were carefully reviewed and selected from 172 submissions. The papers are organized in the following topical sections: Part I: systems theory and applications; pioneers and landmarks in the development of information and communication technologies; stochastic models and applications to natural, social and technical systems; theory and applications of metaheuristic algorithms; model-based system design, verification and simulation. Part II: applications of signal processing technology; artificial intelligence and data mining for intelligent transportation systems and smart mobility; computer vision, machine learning for image analysis and applications; computer and systems based methods and electronic technologies in medicine; advances in biomedical signal and image processing; systems concepts and methods in touristic flows; systems in industrial robotics, automation and IoT.

Author: Roberto Moreno-Díaz
Publisher: Springer
ISBN: 3319747185
Category : Computers
Languages : en
Pages : 512

View

Book Description
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.

Author: Roberto Moreno-Díaz
Publisher: Springer
ISBN: 3642538622
Category : Computers
Languages : en
Pages : 561

View

Book Description
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.

Author: Franz Pichler
Publisher: Springer Science & Business Media
ISBN: 9783540638117
Category : Computers
Languages : en
Pages : 644

View

Book Description
This book constitutes a refereed post-workshop selection of papers presented at the 6th International Workshop on Computer-Aided Systems Theory, EUROCAST'97, held in Las Palmas de Gran Canaria, Spain, in February 1997. The 50 revised full papers presented were carefully selected for inclusion in the volume. The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing, and specific methods and applications.

Author: Grzegorz Borowik
Publisher: Springer
ISBN: 3319157205
Category : Technology & Engineering
Languages : en
Pages : 435

View

Book Description
This carefully edited and reviewed volume addresses the increasingly popular demand for seeking more clarity in the data that we are immersed in. It offers excellent examples of the intelligent ubiquitous computation, as well as recent advances in systems engineering and informatics. The content represents state-of-the-art foundations for researchers in the domain of modern computation, computer science, system engineering and networking, with many examples that are set in industrial application context. The book includes the carefully selected best contributions to APCASE 2014, the 2nd Asia-Pacific Conference on Computer Aided System Engineering, held February 10-12, 2014 in South Kuta, Bali, Indonesia. The book consists of four main parts that cover data-oriented engineering science research in a wide range of applications: computational models and knowledge discovery; communications networks and cloud computing; computer-based systems; and data-oriented and software-intensive systems.

Author: Andrei Karatkevich
Publisher: Springer
ISBN: 3319267256
Category : Technology & Engineering
Languages : en
Pages : 187

View

Book Description
This book presents the original concepts and modern techniques for specification, synthesis, optimisation and implementation of parallel logical control devices. It deals with essential problems of reconfigurable control systems like dependability, modularity and portability. Reconfigurable systems require a wider variety of design and verification options than the application-specific integrated circuits. The book presents a comprehensive selection of possible design techniques. The diversity of the modelling approaches covers Petri nets, state machines and activity diagrams. The preferences of the presented optimization and synthesis methods are not limited to increasing of the efficiency of resource use. One of the biggest advantages of the presented methods is the platform independence, the FPGA devices and single board computers are some of the examples of possible platforms. These issues and problems are illustrated with practical cases of complete control systems. If you expect a new look at the reconfigurable systems designing process or need ideas for improving the quality of the project, this book is a good choice.g process or need ideas for improving the quality of the project, this book is a good choice.

Author: Remigiusz Wiśniewski
Publisher: Springer
ISBN: 3319458116
Category : Technology & Engineering
Languages : en
Pages : 178

View

Book Description
This book focuses on prototyping aspects of concurrent control systems and their further implementation and partial reconfiguration in programmable devices. Further, it lays out a full prototyping flow for concurrent control systems. Based on a given primary specification, a system is described with an interpreted Petri net, which naturally reflects the concurrent and sequential relationships of the design. The book shows that, apart from the traditional option of static configuration of the entire system, the latest programmable devices (especially FPGAs) offer far more sophistication. Partial reconfiguration allows selected parts of the system to be replaced without having to reprogram the entire structure of the device. Approaches to dynamic and static partial reconfiguration of concurrent control systems are presented and described in detail.“/p> The theoretical work is illustrated by examples drawn from various applications, with a milling machine and a traffic-light controller highlighted as representative interpreted Petri nets. Given the ubiquity of concurrent control systems in a huge variety of technological areas including transportation, medicine, artificial intelligence, manufacturing, security and safety and planetary exploration, the innovative software and hardware design methods described here will be of considerable interest to control engineers and systems and circuits researchers in many areas of industry and academia.

Author: Adolfo Crespo Márquez
Publisher: Springer Nature
ISBN: 3030642283
Category : Technology & Engineering
Languages : en
Pages : 311

View

Book Description
This book gathers selected peer-reviewed papers from the 14th World Congress on Engineering Asset Management (WCEAM), which was held in Singapore on 28–31 July 2019, as well as papers presented during the 1st WCEAMOnline event which focused on the ramifications of Covid-19 on infrastructure systems. This book covers a wide range of topics in engineering asset management, including: asset management services provisioning; servitization; decision-making; asset management systems; industrial Internet of things; and vulnerability and resilience of infrastructure systems. The breadth and depth of these state-of-the-art, comprehensive proceedings make them an excellent resource for asset management practitioners, researchers and academics, as well as undergraduate and postgraduate students.