0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (75)
  • R250 - R500 (222)
  • R500+ (8,262)
  • -
Status
Format
Author / Contributor
Publisher

Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Automatic control engineering

Bio-inspired Computation in Unmanned Aerial Vehicles (Hardcover, 2014 ed.): Haibin Duan, Pei Li Bio-inspired Computation in Unmanned Aerial Vehicles (Hardcover, 2014 ed.)
Haibin Duan, Pei Li
R2,701 Discovery Miles 27 010 Ships in 18 - 22 working days

"Bio-inspired Computation in Unmanned Aerial Vehicles" focuses on the aspects of path planning, formation control, heterogeneous cooperative control and vision-based surveillance and navigation in Unmanned Aerial Vehicles (UAVs) from the perspective of bio-inspired computation. It helps readers to gain a comprehensive understanding of control-related problems in UAVs, presenting the latest advances in bio-inspired computation.

By combining bio-inspired computation and UAV control problems, key questions are explored in depth, and each piece is content-rich while remaining accessible. With abundant illustrations of simulation work, this book links theory, algorithms and implementation procedures, demonstrating the simulation results with graphics that are intuitive without sacrificing academic rigor. Further, it pays due attention to both the conceptual framework and the implementation procedures.

The book offers a valuable resource for scientists, researchers and graduate students in the field of Control, Aerospace Technology and Astronautics, especially those interested in artificial intelligence and Unmanned Aerial Vehicles.

Professor Haibin Duan and Dr. Pei Li, both work at Beihang University (formerly Beijing University of Aeronautics & Astronautics, BUAA). Prof Duan's academic website is: http: //hbduan.buaa.edu.cn

Analysis and Synthesis of Delta Operator Systems with Actuator Saturation (Hardcover, 1st ed. 2019): Hongjiu Yang, Yuanqing... Analysis and Synthesis of Delta Operator Systems with Actuator Saturation (Hardcover, 1st ed. 2019)
Hongjiu Yang, Yuanqing Xia, Qing Geng
R2,718 Discovery Miles 27 180 Ships in 18 - 22 working days

This book presents basic research on delta operator systems (DOS) with actuator saturation. It proposes null controllable regions of delta operator systems, introduces the enlarging of the domain of attraction and analyzes the performance of DOSs subject to actuator saturation. It also discusses the domain of attraction on different systems in delta domain, and investigates the applications in complicated systems using delta operator approaches.

Nonlinear Control Systems (Hardcover): Elijah Diego Nonlinear Control Systems (Hardcover)
Elijah Diego
R2,089 Discovery Miles 20 890 Ships in 10 - 15 working days
Mechatronics and Robotics Engineering for Advanced and Intelligent Manufacturing (Hardcover, 1st ed. 2017): Dan Zhang, Bin Wei Mechatronics and Robotics Engineering for Advanced and Intelligent Manufacturing (Hardcover, 1st ed. 2017)
Dan Zhang, Bin Wei
R7,788 Discovery Miles 77 880 Ships in 10 - 15 working days

Featuring selected contributions from the 2nd International Conference on Mechatronics and Robotics Engineering, held in Nice, France, February 18-19, 2016, this book introduces recent advances and state-of-the-art technologies in the field of advanced intelligent manufacturing. This systematic and carefully detailed collection provides a valuable reference source for mechanical engineering researchers who want to learn about the latest developments in advanced manufacturing and automation, readers from industry seeking potential solutions for their own applications, and those involved in the robotics and mechatronics industry.

Foundations of Embedded Systems (Hardcover, 1st ed. 2019): Alexander Barkalov, Larysa Titarenko, Malgorzata Mazurkiewicz Foundations of Embedded Systems (Hardcover, 1st ed. 2019)
Alexander Barkalov, Larysa Titarenko, Malgorzata Mazurkiewicz
R3,106 Discovery Miles 31 060 Ships in 18 - 22 working days

This book is devoted to embedded systems (ESs), which can now be found in practically all fields of human activity. Embedded systems are essentially a special class of computing systems designed for monitoring and controlling objects of the physical world. The book begins by discussing the distinctive features of ESs, above all their cybernetic-physical character, and how they can be designed to deliver the required performance with a minimum amount of hardware. In turn, it presents a range of design methodologies. Considerable attention is paid to the hardware implementation of computational algorithms. It is shown that different parts of complex ESs could be implemented using models of finite state machines (FSMs). Also, field-programmable gate arrays (FPGAs) are very often used to implement different hardware accelerators in ESs. The book pays considerable attention to design methods for FPGA-based FSMs, before the closing section turns to programmable logic controllers widely used in industry. This book will be interesting and useful for students and postgraduates in the area of Computer Science, as well as for designers of embedded systems. In addition, it offers a good point of departure for creating embedded systems for various spheres of human activity.

Proceedings of the 2019 DigitalFUTURES - The 1st International Conference on Computational Design and Robotic Fabrication (CDRF... Proceedings of the 2019 DigitalFUTURES - The 1st International Conference on Computational Design and Robotic Fabrication (CDRF 2019) (Hardcover, 1st ed. 2020)
Philip F. Yuan, Yi Min (Mike) Xie, Jiawei Yao, Chao Yan
R4,064 Discovery Miles 40 640 Ships in 18 - 22 working days

The "2019 DigitalFUTURES - The 1st International Conference on Computational Design and Robotic Fabrication (CDRF 2019)" provides an international platform for advanced scientific research papers on the digital technology of architectural design and construction. The themes of the papers include, but are not limited to, architectural theories, tools, methods and procedures in material intelligence, data intelligence; computational intelligence, and robotic intelligence.

Advances and Applications in Chaotic Systems (Hardcover, 1st ed. 2016): Sundarapandian Vaidyanathan, Christos Volos Advances and Applications in Chaotic Systems (Hardcover, 1st ed. 2016)
Sundarapandian Vaidyanathan, Christos Volos
R4,121 Discovery Miles 41 210 Ships in 18 - 22 working days

This book reports on the latest advances and applications of chaotic systems. It consists of 25 contributed chapters by experts who are specialized in the various topics addressed in this book. The chapters cover a broad range of topics of chaotic systems such as chaos, hyperchaos, jerk systems, hyperjerk systems, conservative and dissipative systems, circulant chaotic systems, multi-scroll chaotic systems, finance chaotic system, highly chaotic systems, chaos control, chaos synchronization, circuit realization and applications of chaos theory in secure communications, mobile robot, memristors, cellular neural networks, etc. Special importance was given to chapters offering practical solutions, modeling and novel control methods for the recent research problems in chaos theory. This book will serve as a reference book for graduate students and researchers with a basic knowledge of chaos theory and control systems. The resulting design procedures on the chaotic systems are emphasized using MATLAB software.

Introduction to Control System Design (Paperback): Harry Kwatny, Bor-Chin Chang Introduction to Control System Design (Paperback)
Harry Kwatny, Bor-Chin Chang
R4,467 R3,804 Discovery Miles 38 040 Save R663 (15%) Ships in 10 - 15 working days

Introduction to Control System Design equips students with the basic concepts, tools, and knowledge they need to effectively design automatic control systems. The text not only teaches readers how to design a control system, it inspires them to innovate and expand current methods to address new automation technology challenges and opportunities. The text is designed to support a two-quarter/semester course and is organized into two main parts. Part I covers basic linear system analysis and model-assembly concepts. It presents readers with a short history of control system design and introduces basic control concepts using first-order and second order-systems. Additional chapters address the modeling of mechanical and electrical systems, as well as assembling complex models using subsystem interconnection tools. Part II focuses on linear control system design. Students learn the fundamentals of feedback control systems; stability, regulation, and root locus design; time delay, plant uncertainty, and robust stability; and state feedback and linear quadratic optimization. The final chapter covers observer theory and output feedback control and reformulates the linear quadratic optimization problem as the more general H2 problem.

Modeling, Simulation and Optimization of Complex Processes  HPSC 2015 - Proceedings of the Sixth International Conference on... Modeling, Simulation and Optimization of Complex Processes HPSC 2015 - Proceedings of the Sixth International Conference on High Performance Scientific Computing, March 16-20, 2015, Hanoi, Vietnam (Hardcover, 1st ed. 2017)
Hans Georg Bock, Hoang Xuan Phu, Rolf Rannacher, Johannes P. Schloeder
R4,477 R3,406 Discovery Miles 34 060 Save R1,071 (24%) Ships in 10 - 15 working days

This proceedings volume highlights a selection of papers presented at the Sixth International Conference on High Performance Scientific Computing, which took place in Hanoi, Vietnam on March 16-20, 2015. The conference was jointly organized by the Heidelberg Institute of Theoretical Studies (HITS), the Institute of Mathematics of the Vietnam Academy of Science and Technology (VAST), the Interdisciplinary Center for Scientific Computing (IWR) at Heidelberg University, and the Vietnam Institute for Advanced Study in Mathematics, Ministry of Education The contributions cover a broad, interdisciplinary spectrum of scientific computing and showcase recent advances in theory, methods, and practical applications. Subjects covered numerical simulation, methods for optimization and control, parallel computing, and software development, as well as the applications of scientific computing in physics, mechanics, biomechanics and robotics, material science, hydrology, biotechnology, medicine, transport, scheduling, and industry.

Modeling and Control for a Blended Wing Body Aircraft - A Case Study (Hardcover, 2015 ed.): Martin Kozek, Alexander Schirrer Modeling and Control for a Blended Wing Body Aircraft - A Case Study (Hardcover, 2015 ed.)
Martin Kozek, Alexander Schirrer
R4,532 R3,461 Discovery Miles 34 610 Save R1,071 (24%) Ships in 10 - 15 working days

This book demonstrates the potential of the blended wing body (BWB) concept for significant improvement in both fuel efficiency and noise reduction and addresses the considerable challenges raised for control engineers because of characteristics like open-loop instability, large flexible structure, and slow control surfaces. This text describes state-of-the-art and novel modeling and control design approaches for the BWB aircraft under consideration. The expert contributors demonstrate how exceptional robust control performance can be achieved despite such stringent design constraints as guaranteed handling qualities, reduced vibration, and the minimization of the aircraft's structural loads during maneuvers and caused by turbulence. As a result, this innovative approach allows the building of even lighter aircraft structures, and thus results in considerable efficiency improvements per passenger kilometer. The treatment of this large, complex, parameter-dependent industrial control problem highlights relevant design issues and provides a relevant case study for modeling and control engineers in many adjacent disciplines and applications. Modeling and Control for a Blended Wing Body Aircraft presents research results in numeric modeling and control design for a large, flexible, civil BWB aircraft in the pre-design stage as developed within the EU FP7 research project ACFA 2020. It is a useful resource for aerospace and control engineers as it shows the complete BWB aircraft modeling and control design process, carried out with the most recent tools and techniques available. presents research results in numeric modeling and control design for a large, flexible, civil BWB aircraft in the pre-design stage as developed within the EU FP7 research project ACFA 2020. It is a useful resource for aerospace and control engineers as it shows the complete BWB aircraft modeling and control design process, carried out with the most recent tools and techniques available. Advances in Industrial Control aims to report and encourage the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.

Sensorless AC Electric Motor Control - Robust Advanced Design Techniques and Applications (Hardcover, 2015 ed.): Alain... Sensorless AC Electric Motor Control - Robust Advanced Design Techniques and Applications (Hardcover, 2015 ed.)
Alain Glumineau, Jesus De Leon Morales
R4,043 Discovery Miles 40 430 Ships in 10 - 15 working days

This monograph shows the reader how to avoid the burdens of sensor cost, reduced internal physical space, and system complexity in the control of AC motors. Many applications fields-electric vehicles, wind- and wave-energy converters and robotics, among them-will benefit. Sensorless AC Electric Motor Control describes the elimination of physical sensors and their replacement with observers, i.e., software sensors. Robustness is introduced to overcome problems associated with the unavoidable imperfection of knowledge of machine parameters-resistance, inertia, and so on-encountered in real systems. The details of a large number of speed- and/or position-sensorless ideas for different types of permanent-magnet synchronous motors and induction motors are presented along with several novel observer designs for electrical machines. Control strategies are developed using high-order, sliding-mode and quasi-continuous-sliding-mode techniques and two types of observer-controller schemes based on backstepping and sliding-mode techniques are described. Experimental results validate the performance of these observer and controller configurations with test trajectories of significance in difficult sensorless-AC-machine problems. Control engineers working with AC motors in a variety of industrial environments will find the space-and-cost-saving ideas detailed in Sensorless AC Electric Motor Control of much interest. Academic researchers and graduate students from electrical, mechanical and control-engineering backgrounds will be able to see how advanced theoretical control can be applied in meaningful real systems.

Semi-physical Verification Technology for Dynamic Performance of Internet of Things System (Hardcover, 1st ed. 2019): Xiaolei... Semi-physical Verification Technology for Dynamic Performance of Internet of Things System (Hardcover, 1st ed. 2019)
Xiaolei Yu, Donghua Wang, Zhi-Min Zhao
R2,673 Discovery Miles 26 730 Ships in 18 - 22 working days

This book combines semi-physical simulation technology with an Internet of Things (IOT) application system based on novel mathematical methods such as the Fisher matrix, artificial neural networks, thermodynamic analysis, support vector machines, and image processing algorithms. The dynamic testing and semi-physical verification of the theory and application were conducted for typical IOT systems such as RFID systems, Internet of Vehicles systems, and two-dimensional barcode recognition systems. The findings presented are of great scientific significance and have wide application potential for solving bottlenecks in the development of RFID technology and IOT engineering. The book is a valuable resource for postgraduate students in fields such as computer science and technology, control science and engineering, and information science. Moreover, it is a useful reference resource for researchers in IOT and RFID-related industries, logistics practitioners, and system integrators.

Dynamic Systems with Time Delays: Stability and Control (Hardcover, 1st ed. 2019): Ju H. Park, Tae H. Lee, Yajuan Liu, Junchen Dynamic Systems with Time Delays: Stability and Control (Hardcover, 1st ed. 2019)
Ju H. Park, Tae H. Lee, Yajuan Liu, Junchen
R3,153 Discovery Miles 31 530 Ships in 18 - 22 working days

This book presents up-to-date research developments and novel methodologies to solve various stability and control problems of dynamic systems with time delays. First, it provides the new introduction of integral and summation inequalities for stability analysis of nominal time-delay systems in continuous and discrete time domain, and presents corresponding stability conditions for the nominal system and an applicable nonlinear system. Next, it investigates several control problems for dynamic systems with delays including H(infinity) control problem Event-triggered control problems; Dynamic output feedback control problems; Reliable sampled-data control problems. Finally, some application topics covering filtering, state estimation, and synchronization are considered. The book will be a valuable resource and guide for graduate students, scientists, and engineers in the system sciences and control communities.

Dynamical Systems - Discontinuity, Stochasticity and Time-Delay (Hardcover, 2010 Ed.): Albert C.J. Luo Dynamical Systems - Discontinuity, Stochasticity and Time-Delay (Hardcover, 2010 Ed.)
Albert C.J. Luo
R5,400 Discovery Miles 54 000 Ships in 18 - 22 working days

Dynamical Systems: Discontinuous, Stochasticity and Time-Delay provides an overview of the most recent developments in nonlinear dynamics, vibration and control. This book focuses on the most recent advances in all three areas, with particular emphasis on recent analytical, numerical and experimental research and its results. Real dynamical system problems, such as the behavior of suspension systems of railways, nonlinear vibration and applied control in coal manufacturing, along with the multifractal spectrum of LAN traffic, are discussed at length, giving the reader a sense of real-world instances where these theories are applied. Dynamical Systems: Discontinuous, Stochasticity and Time-Delay also contains material on time-delay systems as they relate to linear switching, dynamics of complex networks, and machine tools with multiple boundaries. It is the ideal book for engineers and academic researchers working in areas like mechanical and control engineering, as well as applied mathematics.

Industrial Process Identification - Perturbation Signal Design and Applications (Hardcover, 1st ed. 2019): Ai-Hui Tan, Keith... Industrial Process Identification - Perturbation Signal Design and Applications (Hardcover, 1st ed. 2019)
Ai-Hui Tan, Keith Richard Godfrey
R3,799 Discovery Miles 37 990 Ships in 18 - 22 working days

Industrial Process Identification brings together the latest advances in perturbation signal design. It describes the approaches to the design process that are relevant to industries. The authors' discussion of several software packages (Frequency Domain System Identification Toolbox, prs, GALOIS, multilev_new, and Input-Signal-Creator) will allow readers to understand the different designs in industries and begin designing common classes of signals. The authors include two case studies that provide a balance between the theory and practice of these designs: the identification of a direction-dependent electronic nose system; and the identification of a multivariable cooling system with time-varying delay. Major aspects of signal design such as the formulation of suitable specifications in the face of practical constraints, the classes of designs available, the various objectives necessitating separate treatments when dealing with nonlinear systems, and extension to multi-input scenarios, are discussed. Codes, including some that will produce simulated data, are included to help readers replicate the results described. Industrial Process Identification is a powerful source of information for control engineers working in the process and communications industries seeking guidance on choosing identification software tools for use in practical experiments and case studies. The book will also be of interest to academic researchers and students working in electrical, mechanical and communications engineering and the application of perturbation signal design. Advances in Industrial Control reports and encourages the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.

Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems using Orthogonal Hybrid... Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems using Orthogonal Hybrid Functions - Theory and Algorithms with MATLAB (R) (Hardcover, 1st ed. 2016)
Anish Deb, Srimanti Roychoudhury, Gautam Sarkar
R4,362 R3,561 Discovery Miles 35 610 Save R801 (18%) Ships in 10 - 15 working days

This book introduces a new set of orthogonal hybrid functions (HF) which approximates time functions in a piecewise linear manner which is very suitable for practical applications. The book presents an analysis of different systems namely, time-invariant system, time-varying system, multi-delay systems---both homogeneous and non-homogeneous type- and the solutions are obtained in the form of discrete samples. The book also investigates system identification problems for many of the above systems. The book is spread over 15 chapters and contains 180 black and white figures, 18 colour figures, 85 tables and 56 illustrative examples. MATLAB codes for many such examples are included at the end of the book.

Advances in Mechanisms, Robotics and Design Education and Research (Hardcover, 2013 ed.): Vijay Kumar, James Schmiedeler, S. V.... Advances in Mechanisms, Robotics and Design Education and Research (Hardcover, 2013 ed.)
Vijay Kumar, James Schmiedeler, S. V. Sreenivasan, Hai-Jun Su
R5,417 R4,825 Discovery Miles 48 250 Save R592 (11%) Ships in 10 - 15 working days

This book contains papers on a wide range of topics in the area of kinematics, mechanisms, robotics, and design, addressing new research advances and innovations in design education. The content is divided into five main categories headed 'Historical Perspectives', 'Kinematics and Mechanisms', 'Robotic Systems', 'Legged Locomotion', and 'Design Engineering Education'. Contributions take the form of survey articles, historical perspectives, commentaries on trends on education or research, original research contributions, and papers on design education. This volume celebrates the achievements of Professor Kenneth Waldron who has made innumerable and invaluable contributions to these fields in the last fifty years. His leadership and his pioneering work have influenced thousands of people in this discipline.

Dynamic Decoupling of Robot Manipulators (Hardcover, 1st ed. 2018): Vigen Arakelian Dynamic Decoupling of Robot Manipulators (Hardcover, 1st ed. 2018)
Vigen Arakelian
R3,334 Discovery Miles 33 340 Ships in 18 - 22 working days

This book presents the latest results in the field of dynamic decoupling of robot manipulators obtained in France, Russia, China and Austria. Manipulator dynamics can be highly coupled and nonlinear. The complicated dynamics result from varying inertia, interactions between the different joints, and nonlinear forces such as Coriolis and centrifugal forces. The dynamic decoupling of robot manipulators allows one to obtain a linear system, i.e. single-input and single output system with constant parameters. This simplifies the optimal control and accumulation of energy in manipulators. There are two ways to create the dynamically decoupled manipulators: via optimal mechanical design or control. This work emphasises mechatronic solutions. These will certainly improve the known design concepts permitting the dynamic decoupling of serial manipulators with a relatively small increase in total mass of the moving links taking into account the changing payload. For the first time such an approach has been applied on serial manipulators. Also of great interest is the dynamic decoupling control of parallel manipulators. Firstly, the dynamic model of redundant multi-axial vibration table with load has been established, and, secondly, its dynamic coupling characteristics have been analyzed. The discussed methods and applications of dynamic decoupling of robot manipulators are illustrated via CAD simulations and experimental tests.

Advances in Italian Mechanism Science - Proceedings of the First International Conference of IFToMM Italy (Hardcover, 1st ed.... Advances in Italian Mechanism Science - Proceedings of the First International Conference of IFToMM Italy (Hardcover, 1st ed. 2017)
Giovanni Boschetti, Alessandro Gasparetto
R7,026 R6,598 Discovery Miles 65 980 Save R428 (6%) Ships in 10 - 15 working days

This volume contains the Proceedings of the First International Conference of IFToMM Italy (IFIT2016), held at the University of Padova, Vicenza, Italy, on December 1-2, 2016. The book contains contributions on the latest advances on Mechanism and Machine Science. The fifty-nine papers deal with such topics as biomechanical engineering, history of mechanism and machine science, linkages and mechanical controls, multi-body dynamics, reliability, robotics and mechatronics, transportation machinery, tribology, and vibrations.

Universal Fuzzy Controllers for Non-affine Nonlinear Systems (Hardcover, 1st ed. 2017): Qing Gao Universal Fuzzy Controllers for Non-affine Nonlinear Systems (Hardcover, 1st ed. 2017)
Qing Gao
R3,236 Discovery Miles 32 360 Ships in 18 - 22 working days

This thesis provides a systematic and integral answer to an open problem concerning the universality of dynamic fuzzy controllers. It presents a number of novel ideas and approaches to various issues including universal function approximation, universal fuzzy models, universal fuzzy stabilization controllers, and universal fuzzy integral sliding mode controllers. The proposed control design criteria can be conveniently verified using the MATLAB toolbox. Moreover, the thesis provides a new, easy-to-use form of fuzzy variable structure control. Emphasis is given to the point that, in the context of deterministic/stochastic systems in general, the authors are in fact discussing non-affine nonlinear systems using a class of generalized T-S fuzzy models, which offer considerable potential in a wide range of applications.

Dynamic Balancing of Mechanisms and Synthesizing of Parallel Robots (Hardcover, 1st ed. 2016): Dan Zhang, Bin Wei Dynamic Balancing of Mechanisms and Synthesizing of Parallel Robots (Hardcover, 1st ed. 2016)
Dan Zhang, Bin Wei
R5,546 R4,955 Discovery Miles 49 550 Save R591 (11%) Ships in 10 - 15 working days

This book covers the state-of-the-art technologies in dynamic balancing of mechanisms with minimum increase of mass and inertia. The synthesis of parallel robots based on the Decomposition and Integration concept is also covered in detail. The latest advances are described, including different balancing principles, design of reactionless mechanisms with minimum increase of mass and inertia, and synthesizing parallel robots. This is an ideal book for mechanical engineering students and researchers who are interested in the dynamic balancing of mechanisms and synthesizing of parallel robots. This book also: * Broadens reader understanding of the synthesis of parallel robots based on the Decomposition and Integration concept * Reinforces basic principles with detailed coverage of different balancing principles, including input torque balancing mechanisms * Reviews exhaustively the key recent research into the design of reactionless mechanisms with minimum increase of mass and inertia, such as the design of reactionless mechanisms with auxiliary parallelograms, the design of reactionless mechanisms with flywheels, and the design of reactionless mechanisms by symmetrical structure design.

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems (Hardcover, 1st ed. 2018): Moamar... Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems (Hardcover, 1st ed. 2018)
Moamar Sayed-Mouchaweh
R2,693 Discovery Miles 26 930 Ships in 18 - 22 working days

Cyber-physical systems (CPS) are characterized as a combination of physical (physical plant, process, network) and cyber (software, algorithm, computation) components whose operations are monitored, controlled, coordinated, and integrated by a computing and communicating core. The interaction between both physical and cyber components requires tools allowing analyzing and modeling both the discrete and continuous dynamics. Therefore, many CPS can be modeled as hybrid dynamic systems in order to take into account both discrete and continuous behaviors as well as the interactions between them. Guaranteeing the security and safety of CPS is a challenging task because of the inherent interconnected and heterogeneous combination of behaviors (cyber/physical, discrete/continuous) in these systems. This book presents recent and advanced approaches and tech-niques that address the complex problem of analyzing the diagnosability property of cyber physical systems and ensuring their security and safety against faults and attacks. The CPS are modeled as hybrid dynamic systems using different model-based and data-driven approaches in different application domains (electric transmission networks, wireless communication networks, intrusions in industrial control systems, intrusions in production systems, wind farms etc.). These approaches handle the problem of ensuring the security of CPS in presence of attacks and verifying their diagnosability in presence of different kinds of uncertainty (uncertainty related to the event occurrences, to their order of occurrence, to their value etc.).

The Inverse Method / Parametric Verification of Real-time Unbedded Systems (Hardcover): E. Andre The Inverse Method / Parametric Verification of Real-time Unbedded Systems (Hardcover)
E. Andre
R3,732 Discovery Miles 37 320 Ships in 18 - 22 working days

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata.The inverse method is introduced, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can solve the good parameters problem for parametric timed automata by computing a behavioral cartography of the system. Different extensions are proposed particularly for hybrid systems and applications to scheduling problems using timed automata with stopwatches. Various examples, both from the literature and industry, illustrate the techniques throughout the book.Various parametric verifications are performed, in particular of abstractions of a memory circuit sold by the chipset manufacturer ST-Microelectronics, as well as of the prospective flight control system of the next generation of spacecraft designed by ASTRIUM Space Transportation.

Contents:

1. Parametric Timed Automata.2. The Inverse Method for Parametric Timed Automata.3. The Inverse Method in Practice: Application to Case Studies.4. Behavioral Cartography of Timed Automata.5. Parameter Synthesis for Hybrid Automata.6. Application to the Robustness Analysis of Scheduling Problems.7. Conclusion and Perspectives.

About the Authors

etienne Andre is Associate Professor in the Laboratoire d'Informatique de Paris Nord, in the University of Paris 13 (Sorbonne Paris Cite) in France. His current research interests focus on the verification of real-time systems.Romain Soulat is currently completing his PhD at the LSV laboratory at ENS-Cachan in France, focusing on the modeling and verification of hybrid temporal systems.

Equitable Solutions for Retaining a Robust STEM Workforce - Beyond Best Practices (Paperback): Donna J. Dean, Janet B. Koster Equitable Solutions for Retaining a Robust STEM Workforce - Beyond Best Practices (Paperback)
Donna J. Dean, Janet B. Koster
R870 Discovery Miles 8 700 Ships in 10 - 15 working days

"Equitable Solutions for Retaining a Robust STEM Workforce" offers strategies and proven recommendations to accommodate work/life satisfaction for those in the STEM fields. Using real-life case studies, this book discusses universal issues such as dual careers and strategic decision making, childcare/dependent care in professional contexts, promoting family-friendly policies, as well as mentoring and networking.

"Equitable Solutions for Retaining a Robust STEM Workforce" provides data and tools to drive successful programs relaying proactive solutions that STEM employers, academic institutions, policy-makers, and individuals can utilize.
Distills and leverages best practices and internationally transportable policies to support and accommodate STEM work/life satisfactionServes as an action plan to help STEM employers, policy makers and academic institutions identify and create systemic changeIncludes case studies and practical tools sections to highlight effective integration strategiesAddresses a variety of work/life challenges, including supporting travel for dual-career couples, making strategic choices around work/life issues, and overcoming implicit bias
"

Disassembly Automation - Automated Systems with Cognitive Abilities (Hardcover, 2015 ed.): Supachai Vongbunyong, Wei Hua Chen Disassembly Automation - Automated Systems with Cognitive Abilities (Hardcover, 2015 ed.)
Supachai Vongbunyong, Wei Hua Chen
R3,837 R3,307 Discovery Miles 33 070 Save R530 (14%) Ships in 10 - 15 working days

This book presents a number of aspects to be considered in the development of disassembly automation, including the mechanical system, vision system and intelligent planner. The implementation of cognitive robotics increases the flexibility and degree of autonomy of the disassembly system. Disassembly, as a step in the treatment of end-of-life products, can allow the recovery of embodied value left within disposed products, as well as the appropriate separation of potentially-hazardous components. In the end-of-life treatment industry, disassembly has largely been limited to manual labor, which is expensive in developed countries. Automation is one possible solution for economic feasibility. The target audience primarily comprises researchers and experts in the field, but the book may also be beneficial for graduate students.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Mechatronic Components - Roadmap to…
Emin Faruk Kececi Paperback R2,819 Discovery Miles 28 190
A Generalized Framework of Linear…
Liansheng Tan Paperback R2,325 R2,203 Discovery Miles 22 030
Microbiorobotics - Biologically Inspired…
Minjun Kim, Agung Julius, … Hardcover R3,214 Discovery Miles 32 140
Control Systems
William Bolton Paperback R994 Discovery Miles 9 940
Robotics and Automation in the Food…
Darwin G Caldwell Hardcover R4,945 Discovery Miles 49 450
Industrial Brushless Servomotors
Peter Moreton Hardcover R2,035 Discovery Miles 20 350
Adex Optimized Adaptive Controllers and…
Juan M. Martin-Sanchez, Jose Rodellar Hardcover R3,902 Discovery Miles 39 020
Artificial Intelligence and Data Science…
Mohsen Asadnia, Amir Razmjou, … Paperback R2,578 Discovery Miles 25 780
Intelligent Components for Vehicles
A. Ollero Paperback R2,377 Discovery Miles 23 770
Tactile Sensing, Skill Learning, and…
Qiang Li, Shan Luo, … Paperback R2,952 Discovery Miles 29 520

 

Partners