Guaranteed Verification Of Dynamic Systems

Author : Schwab, Stefan
Publisher : KIT Scientific Publishing
ISBN 13 : 3731509652
Total Pages : 216 pages
Book Rating : 4.53/5 ( download)

DOWNLOAD NOW!

Download or read book Guaranteed Verification of Dynamic Systems written by Schwab, Stefan and published by KIT Scientific Publishing. This book was released on 2022-03-15 with total page 216 pages. Available in PDF, EPUB and Kindle. Book excerpt: This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The developed methods are proven mathematically to provide a reliable verification for a wide class of safety critical systems.

Author : Stefan Schwab
Publisher :
ISBN 13 :
Total Pages : pages
Book Rating : 4.28/5 ( download)

DOWNLOAD NOW!

Download or read book Guaranteed Verification of Dynamic Systems written by Stefan Schwab and published by . This book was released on 2019 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Author : Kölsch, Lukas
Publisher : KIT Scientific Publishing
ISBN 13 : 3731512092
Total Pages : 288 pages
Book Rating : 4.97/5 ( download)

DOWNLOAD NOW!

Download or read book Dynamic Incentives for Optimal Control of Competitive Power Systems written by Kölsch, Lukas and published by KIT Scientific Publishing. This book was released on 2022-10-11 with total page 288 pages. Available in PDF, EPUB and Kindle. Book excerpt: This work presents a real-time dynamic pricing framework for future electricity markets. Deduced by first-principles analysis of physical, economic, and communication constraints within the power system, the proposed feedback control mechanism ensures both closed-loop system stability and economic efficiency at any given time. The resulting price signals are able to incentivize competitive market participants to eliminate spatio-temporal shortages in power supply quickly and purposively.

Author : Gellrich, Thomas Christoph
Publisher : KIT Scientific Publishing
ISBN 13 : 3731512319
Total Pages : 268 pages
Book Rating : 4.18/5 ( download)

DOWNLOAD NOW!

Download or read book Dynamical Modeling and Control of Multiphase Heat Transport Systems Based on Loop Heat Pipes written by Gellrich, Thomas Christoph and published by KIT Scientific Publishing. This book was released on 2022-12-05 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: Effective heat transport systems in aerospace are based on multiphase loop heat pipes (LHPs). For a precise thermal control of the electronics, electrical heaters are additionally used to control the operating temperature of the LHP. This work focusses on the dynamical modeling and model-based control design for LHP-based heat transport systems. The results of this work can be used for the optimization of current control parameters and the efficient control design for future LHP applications.

Author : Rolf Isermann
Publisher : Springer
ISBN 13 : 9783642422676
Total Pages : 0 pages
Book Rating : 4.75/5 ( download)

DOWNLOAD NOW!

Download or read book Identification of Dynamic Systems written by Rolf Isermann and published by Springer. This book was released on 2014-11-23 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Precise dynamic models of processes are required for many applications, ranging from control engineering to the natural sciences and economics. Frequently, such precise models cannot be derived using theoretical considerations alone. Therefore, they must be determined experimentally. This book treats the determination of dynamic models based on measurements taken at the process, which is known as system identification or process identification. Both offline and online methods are presented, i.e. methods that post-process the measured data as well as methods that provide models during the measurement. The book is theory-oriented and application-oriented and most methods covered have been used successfully in practical applications for many different processes. Illustrative examples in this book with real measured data range from hydraulic and electric actuators up to combustion engines. Real experimental data is also provided on the Springer webpage, allowing readers to gather their first experience with the methods presented in this book. Among others, the book covers the following subjects: determination of the non-parametric frequency response, (fast) Fourier transform, correlation analysis, parameter estimation with a focus on the method of Least Squares and modifications, identification of time-variant processes, identification in closed-loop, identification of continuous time processes, and subspace methods. Some methods for nonlinear system identification are also considered, such as the Extended Kalman filter and neural networks. The different methods are compared by using a real three-mass oscillator process, a model of a drive train. For many identification methods, hints for the practical implementation and application are provided. The book is intended to meet the needs of students and practicing engineers working in research and development, design and manufacturing.

Author : Martin Pfeifer
Publisher : KIT Scientific Publishing
ISBN 13 : 3731511355
Total Pages : 248 pages
Book Rating : 4.59/5 ( download)

DOWNLOAD NOW!

Download or read book Automated Model Generation and Observer Design for Interconnected Systems : A Port-Hamiltonian Approach written by Martin Pfeifer and published by KIT Scientific Publishing. This book was released on 2022-06-27 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt: This work addresses the automated generation of physical-based models and model-based observers. We develop port-Hamiltonian methods, which for the first time allow a complete and consistent automation of these two processes for a large class of interconnected systems.

Author : Varga, Bálint
Publisher : KIT Scientific Publishing
ISBN 13 : 3731513250
Total Pages : 250 pages
Book Rating : 4.54/5 ( download)

DOWNLOAD NOW!

Download or read book Limited Information Shared Control and its Applications to Large Vehicle Manipulators written by Varga, Bálint and published by KIT Scientific Publishing. This book was released on 2024-01-08 with total page 250 pages. Available in PDF, EPUB and Kindle. Book excerpt: This work focuses on the Limited Information Shared Control and its controller design using potential games. Through the developed systematic controller design, the experiments demonstrate the effectiveness and superiority of this concept compared to traditional manual and non-cooperative control approaches in the application of large vehicle manipulators.

Author : Puccetti, Luca
Publisher : KIT Scientific Publishing
ISBN 13 : 3731512904
Total Pages : 156 pages
Book Rating : 4.05/5 ( download)

DOWNLOAD NOW!

Download or read book Self-Learning Longitudinal Control for On-Road Vehicles written by Puccetti, Luca and published by KIT Scientific Publishing. This book was released on 2023-06-16 with total page 156 pages. Available in PDF, EPUB and Kindle. Book excerpt: Reinforcement Learning is a promising tool to automate controller tuning. However, significant extensions are required for real-world applications to enable fast and robust learning. This work proposes several additions to the state of the art and proves their capability in a series of real world experiments.

Author : Rothfuß, Simon
Publisher : KIT Scientific Publishing
ISBN 13 : 3731512238
Total Pages : 252 pages
Book Rating : 4.33/5 ( download)

DOWNLOAD NOW!

Download or read book Human-Machine Cooperative Decision Making written by Rothfuß, Simon and published by KIT Scientific Publishing. This book was released on 2022-11-07 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt: The research reported in this thesis focuses on the decision making aspect of human-machine cooperation and reveals new insights from theoretical modeling to experimental evaluations: Two mathematical behavior models of two emancipated cooperation partners in a cooperative decision making process are introduced. The model-based automation designs are experimentally evaluated and thereby demonstrate their benefits compared to state-of-the-art approaches.

Author : Maurer, Jona
Publisher : KIT Scientific Publishing
ISBN 13 : 3731512769
Total Pages : 224 pages
Book Rating : 4.69/5 ( download)

DOWNLOAD NOW!

Download or read book Transactive Control of Coupled Electric Power and District Heating Networks written by Maurer, Jona and published by KIT Scientific Publishing. This book was released on 2023-06-27 with total page 224 pages. Available in PDF, EPUB and Kindle. Book excerpt: Der Entwurf von Ansätzen zur marktbasierten Betriebsführung zukünftiger Energienetze steht vor der technischen Herausforderung, eine enorme Anzahl von Netzteilnehmern zeitlich und örtlich zu koordinieren, um Erzeugung und Verbrauch auszugleichen und einen sicheren Netzbetrieb zu ermöglichen. Um dieser Herausforderung zu begegnen entstand das Forschungsfeld der Transactive Control Ansätze. In dieser Arbeit wird ein neuer Transactive Control Ansatz für gekoppelte Strom- und Wärmenetze vorgestellt. - The design of approaches for future market-based energy network operation faces the technical challenge of needing to coordinate a vast number of network participants spatially and temporally, in order to balance energy supply and demand, while achieving secure network operation. To meet this challenge, the research field of transactive control emerged. Within this work a new transactive control approach for coupled electric power and district heating networks is presented.