Guaranteed Verification Of Dynamic Systems

Author : Schwab, Stefan
Publisher : KIT Scientific Publishing
Page : 216 pages
File Size : 46,9 Mb
Release : 2022-03-15
Category : Technology & Engineering
ISBN : 9783731509653

Get Book

Guaranteed Verification of Dynamic Systems by Schwab, Stefan Pdf

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 : Unknown
Page : 128 pages
File Size : 42,7 Mb
Release : 2019
Category : Electronic
ISBN : OCLC:1137040928

Get Book

Guaranteed Verification of Dynamic Systems by Stefan Schwab Pdf

Author : Kölsch, Lukas
Publisher : KIT Scientific Publishing
Page : 288 pages
File Size : 48,8 Mb
Release : 2022-10-11
Category : Technology & Engineering
ISBN : 9783731512097

Get Book

Dynamic Incentives for Optimal Control of Competitive Power Systems by Kölsch, Lukas Pdf

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
Page : 268 pages
File Size : 52,9 Mb
Release : 2022-12-05
Category : Technology & Engineering
ISBN : 9783731512318

Get Book

Dynamical Modeling and Control of Multiphase Heat Transport Systems Based on Loop Heat Pipes by Gellrich, Thomas Christoph Pdf

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 : Shankar P. Bhattacharyya,Lee H. Keel
Publisher : CRC Press
Page : 546 pages
File Size : 50,8 Mb
Release : 2020-09-23
Category : Technology & Engineering
ISBN : 9781000141061

Get Book

Control of Uncertain Dynamic Systems by Shankar P. Bhattacharyya,Lee H. Keel Pdf

This book is a collection of 34 papers presented by leading researchers at the International Workshop on Robust Control held in San Antonio, Texas in March 1991. The common theme tying these papers together is the analysis, synthesis, and design of control systems subject to various uncertainties. The papers describe the latest results in parametric understanding, H8 uncertainty, l1 optical control, and Quantitative Feedback Theory (QFT). The book is the first to bring together all the diverse points of view addressing the robust control problem and should strongly influence development in the robust control field for years to come. For this reason, control theorists, engineers, and applied mathematicians should consider it a crucial acquisition for their libraries.

Author : Martin Pfeifer
Publisher : KIT Scientific Publishing
Page : 248 pages
File Size : 51,6 Mb
Release : 2022-06-27
Category : Technology & Engineering
ISBN : 9783731511359

Get Book

Automated Model Generation and Observer Design for Interconnected Systems : A Port-Hamiltonian Approach by Martin Pfeifer Pdf

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
Page : 250 pages
File Size : 50,9 Mb
Release : 2024-01-08
Category : Electronic
ISBN : 9783731513254

Get Book

Limited Information Shared Control and its Applications to Large Vehicle Manipulators by Varga, Bálint Pdf

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
Page : 156 pages
File Size : 41,7 Mb
Release : 2023-06-16
Category : Electronic
ISBN : 9783731512905

Get Book

Self-Learning Longitudinal Control for On-Road Vehicles by Puccetti, Luca Pdf

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
Page : 252 pages
File Size : 44,8 Mb
Release : 2022-11-07
Category : Technology & Engineering
ISBN : 9783731512233

Get Book

Human-Machine Cooperative Decision Making by Rothfuß, Simon Pdf

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
Page : 224 pages
File Size : 55,9 Mb
Release : 2023-06-27
Category : Electronic
ISBN : 9783731512769

Get Book

Transactive Control of Coupled Electric Power and District Heating Networks by Maurer, Jona Pdf

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.

Author : Sriram Sankaranarayanan,Natasha Sharygina
Publisher : Springer Nature
Page : 718 pages
File Size : 51,6 Mb
Release : 2023-04-21
Category : Computers
ISBN : 9783031308239

Get Book

Tools and Algorithms for the Construction and Analysis of Systems by Sriram Sankaranarayanan,Natasha Sharygina Pdf

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.

Author : Nina Yevtushenko,Ana Rosa Cavalli,Hüsnü Yenigün
Publisher : Springer
Page : 341 pages
File Size : 53,7 Mb
Release : 2017-09-25
Category : Computers
ISBN : 9783319675497

Get Book

Testing Software and Systems by Nina Yevtushenko,Ana Rosa Cavalli,Hüsnü Yenigün Pdf

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.

Author : Rogério de Lemos,David Garlan,Carlo Ghezzi,Holger Giese
Publisher : Springer
Page : 435 pages
File Size : 43,6 Mb
Release : 2018-01-16
Category : Computers
ISBN : 9783319741833

Get Book

Software Engineering for Self-Adaptive Systems III. Assurances by Rogério de Lemos,David Garlan,Carlo Ghezzi,Holger Giese Pdf

A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip the software system with self-adaptation capabilities. Despite recent advances in this area, one key aspect that remains to be tackled in depth is the provision of assurances. Originating from a Dagstuhl seminar held in December 2013, this book constitutes the third volume in the series “Software Engineering for Self-Adaptive Systems”, and looks specifically into the provision of assurances. Opening with an overview chapter on Research Challenges, the book presents 13 further chapters written and carefully reviewed by internationally leading researchers in the field. The book is divided into topical sections on research challenges, evaluation, integration and coordination, and reference architectures and platforms.

Author : Isil Dillig,Serdar Tasiran
Publisher : Springer
Page : 680 pages
File Size : 49,6 Mb
Release : 2019-07-12
Category : Computers
ISBN : 9783030255404

Get Book

Computer Aided Verification by Isil Dillig,Serdar Tasiran Pdf

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.

Author : Giese, Holger,Becker, Basil
Publisher : Universitätsverlag Potsdam
Page : 106 pages
File Size : 53,5 Mb
Release : 2013-08-15
Category : Electronic
ISBN : 9783869562469

Get Book

Modeling and Verifying Dynamic Evolving Service-Oriented Architectures by Giese, Holger,Becker, Basil Pdf