1.
Farooqui, Ashfaq, et al.
(författare)
On Active Learning for Supervisor Synthesis
2024
Ingår i: IEEE Transactions on Automation Science and Engineering. - : Institute of Electrical and Electronics Engineers Inc.. - 1545-5955 .- 1558-3783. ; 21, s. 78-
Tidskriftsartikel (refereegranskat) abstract
Supervisory control theory provides an approach to synthesize supervisors for cyber-physical systems using a model of the uncontrolled plant and its specifications. These supervisors can help guarantee the correctness of the closed-loop controlled system. However, access to plant models is a bottleneck for many industries, as manually developing these models is an error-prone and time-consuming process. An approach to obtaining a supervisor in the absence of plant models would help industrial adoption of supervisory control techniques. This paper presents, an algorithm to learn a controllable supervisor in the absence of plant models. It does so by actively interacting with a simulation of the plant by means of queries. If the obtained supervisor is blocking, existing synthesis techniques are employed to prune the blocking supervisor and obtain the controllable and non-blocking supervisor. Additionally, this paper presents an approach to interface the with a PLC to learn supervisors in a virtual commissioning setting. This approach is demonstrated by learning a supervisor of the well-known example simulated in Xcelgo Experior and controlled using a PLC. interacts with the PLC and learns a controllable supervisor for the simulated system. Note to Practitioners—Ensuring the correctness of automated systems is crucial. Supervisory control theory proposes techniques to help build control solutions that have certain correctness guarantees. These techniques rely on a model of the system. However, such models are typically unavailable and hard to create. Active learning is a promising technique to learn models by interacting with the system to be learned. This paper aims to integrate active learning and supervisory control such that the manual step of creating models is no longer needed, thus, allowing the use of supervisory control techniques in the absence of models. The proposed approach is implemented in a tool and demonstrated using a case study.
2.
Kersten, Anton, 1991, et al.
(författare)
Measuring and Separating Conducted Three-Wire Emissions from a Fault-Tolerant, NPC Propulsion Inverter with a Split-Battery Using Hardware Separators Based on HF Transformers
2021
Ingår i: IEEE Transactions on Power Electronics. - 0885-8993 .- 1941-0107. ; 36:1, s. 378-390
Tidskriftsartikel (refereegranskat) abstract
Conducted emissions on the traction battery's power cables in EVs must be limited to avoid unwanted electromagnetic interference (EMI). When designing an EMI filter, it is advantageous to have information of the common mode (CM) and differential mode (DM) noise levels. This article deals with the measurement and separation of the dc side's three-wire DM/CM noise of a fault-tolerant three-level neutral-point-clamped (NPC) inverter with a split-battery system. Two hardware separators, based on small-circuit highfrequency transformers, were developed to identify the dc side's CM, line-DM, and phase-DM noise levels. Their characterized CM and DM rejection ratios for the frequency range from 150 kHz to 110 MHz are at least -33 and -21 dB, respectively. The separated noise of the NPC inverter was measured, using an inductive load, when operating the inverter with three-level and two-level modulation, resembling normal operation and a possible operation under fault, respectively. A simple three-wire CM model of the used testbed and the DM power module oscillation were derived to validate the separated noise's resonance peaks/valleys. It has been seen that the CM noise is dominant, especially below 10 MHz, except for the power module oscillations. Furthermore, when using the two-level modulation, in the case of a clamping diode fault, the noise levels are increased by about 3 dB.
3.
Kersten, Anton, 1991
(författare)
Modular Battery Systems for Electric Vehicles based on Multilevel Inverter Topologies - Opportunities and Challenges
2021
Doktorsavhandling (övrigt vetenskapligt/konstnärligt) abstract
Modular battery systems based on multilevel inverter (MLI) topologies can possibly overcome some shortcomings of two-level inverters when used for vehicle propulsion. The results presented in this thesis aim to point out the advantages and disadvantages, as well as the technical challenges, of modular vehicle battery systems based on MLIs in comparison to a conventional, two-level IGBT inverter drivetrain. The considered key aspects for this comparative investigation are the drive cycle efficiency, the inverter cost, the fault tolerance capability of the drivetrain and the conducted electromagnetic emissions. Extensive experiments have been performed to support the results and conclusions. In this work, it is shown that the simulated drive cycle efficiency of different low-voltage-MOSFET-based, cascaded seven-level inverter types is improved in comparison to a similarly rated, two-level IGBT inverter drivetrain. For example, the simulated WLTP drive cycle efficiency of a cascaded double-H-bridge (CDHB) inverter drivetrain in comparison to a two-level IGBT inverter, when used in a small passenger car, is increased from 94.24% to 95.04%, considering the inverter and the ohmic battery losses. In contrast, the obtained efficiency of a similar rated seven-level cascaded H-bridge (CHB) drivetrain is almost equal to that of the two-level inverter drivetrain, but with the help of a hybrid modulation technique, utilizing fundamental selective harmonic elimination at lower speeds, it could be improved to 94.85%. In addition, the CDHB and CHB inverters’ cost, in comparison to the two-level inverter, is reduced from 342€ to 202€ and 121€, respectively. Furthermore, based on a simple three-level inverter with a dual battery pack, it is shown that MLIs inherently allow for a fault tolerant operation. It is explained how the drivetrain of a neutral point clamped (NPC) inverter can be operated under a fault condition, so that the vehicle can drive with a limited maximum power to the next service station, referred to as limp home mode. Especially, the detection and localization of open circuit faults has been investigated and verified through simulations and experiments. Moreover, it is explained how to measure the conducted emissions of an NPC inverter with a dual battery pack according to the governing standard, CISPR 25, because the additional neutral point connection forms a peculiar three-wire DC source. To separate the measured noise spectra into CM, line-DM and phase-DMquantities, two hardware separators based on HF transformers are developed and utilized. It is shown that the CM noise is dominant. Furthermore, the CM noise is reduced by 3dB to 6dB when operating the inverter with three-level instead of two-level modulation.
4.
Kersten, Anton, 1991, et al.
(författare)
Online and On-Board Battery Impedance Estimation of Battery Cells, Modules or Packs in a Reconfigurable Battery System or Multilevel Inverter
2020
Ingår i: IECON Proceedings (Industrial Electronics Conference). - 2162-4704 .- 2577-1647. ; 2020-October, s. 1884-1891
Konferensbidrag (refereegranskat) abstract
This paper shows two approaches to determine the battery impedance of battery cells or battery modules when used in a reconfigurable battery system (RBS) or in any type of modular multilevel converter (MMC) for electric drive applications. A generic battery model is used and the concepts of the recursive time and frequency-domain parameter extraction, using a current step and an electrochemical impedance spectroscopy, are explained. Thus, it is shown and demonstrated that the balancing current of neighboring cells/modules ,when in parallel operation, can be used, similar to the time-domain parameter extraction utilizing a current step, to determine the battery parameters. Furthermore, it is shown and demonstrated that a part of the inverter can be used as variable AC voltage source to control a sinusoidal current through the motor inductances of the drive train, which can be injected to the inserted battery cells/modules of an adjacent phase to perform an on-board impedance spectroscopy. Using either of the two presented approaches, the individual battery impedances can be easily determined, yielding the state of health (SOH) and the power capability of individual battery cells/modules. Nonetheless, the analyzed approaches were just considered to be applied at machine standstill, which is not suitable for grid-tied applications.
5.
Theliander, Oskar, et al.
(författare)
Battery Modeling and Parameter Extraction for Drive Cycle Loss Evaluation of a Modular Battery System for Vehicles Based on a Cascaded H-Bridge Multilevel Inverter
2020
Ingår i: IEEE Transactions on Industry Applications. - 0093-9994 .- 1939-9367. ; 56:6, s. 6968-6977
Tidskriftsartikel (refereegranskat) abstract
This article deals with the modeling and the parameterization of the battery packs used in cascaded H-bridge multilevel propulsion inverters. Since the battery packs are intermittently conducting the motor currents, the battery cells are stressed with a dynamic current containing a substantial amount of low-order harmonic components up to a couple of kHz, which is a major difference in comparison to a traditional two-level inverter drive. Different models, such as pure resistive and dynamic RC -networks, are considered to model the energy losses for different operating points (OPs) and driving cycles. Using a small-scale setup, the models’ parameters are extracted using both a low-frequency, pulsed current, and an electrochemical impedance spectroscopy (EIS) sweep. The models are compared against measurements conducted on the small-scale setup at different OPs. Additionally, a drive cycle loss comparison is simulated. The simple resistive model overestimates the losses by about 20% and is, thus, not suitable. The dynamic three-time-constant model, parameterized by a pulsed current, complies with the measurements for all analyzed OPs, especially at low speed, with a maximum deviation of 3.8%. Extracting the parameters using an EIS seems suitable for higher speeds, though the losses for the chosen OPs are underestimated by 1.5%–7.9%.
6.
Berbyuk, Viktor, 1953
(författare)
Structural Dynamics Control, Third Edition
2020
Bok (övrigt vetenskapligt/konstnärligt) abstract
Structural dynamics and especially one of its main problems, vibrations and vibration control, appear in vehicle engineering, high precision machines and mechanisms, robotics, civil engineering, wind turbines, biomechanics, and others. Over the last decades there has been much work concerned with the vibration control of different dynamical systems. The texbook “Structural Dynamics Control” aims at providing knowledge on modern methods and concepts of passive, semi-active and active vibration control, to cross the bridge between structural dynamics and control engineering, while providing an overview of the potential of smart materials, (magnetorheological fluids, magnetostrictive materials, and others), for sensing and actuating purposes in active vibration control. One of the aims of this textbook is to provide students and engineers with opportunity of becoming familiar with the standard methods of the classical calculus of variations, the linear quadratic regulator optimization methods, and modern optimal control theory with focus on their applications in structural dynamics for vibration attenuation and vibration suppression problems. The textbook consists of four main parts: Vibration dynamics, Passive and semi-active vibration control, Active and hybrid vibration control, and Applications. The textbook ends with the supplementary mathematics, list of Matlab codes and answers and hints for the exercises. The list of references consists of only those books and scientific papers which were used during preparation of the textbook or which have been recommended to stundents for additional information on a studied topic. The textbook is aimed at first towards graduate and postgraduate students following Master and PhD programmes related to structural dynamics, mechatronics, control engineering, automotive engineering, noise and vibrations. The only prerequisite for reading this book is basic knowledge in mechanics and some familiarity with vibrations, state space models and automatic control.
7.
Iwaki, Takuya, 1986-, et al.
(författare)
Multi-loop periodic event-triggered actuation : applications to PID, cascade, and decoupling control
2022
Ingår i: International Journal of Control. - : Informa UK Limited. - 0020-7179 .- 1366-5820. ; , s. 1-16
Tidskriftsartikel (refereegranskat) abstract
This paper studies periodic event-triggered actuation applied to PID, cascade, and decoupling control. We propose an event-triggered output feedback controller, in which the control command is actuated only when it exceeds its previous value by a certain threshold. An exponential stability condition is derived in the form of LMIs using a Lyapunov–Krasovskii functional based on Wirtinger's inequality. It is shown that an observer-based controller can reject an unknown step disturbance. Using this result, we propose a way to tune the event threshold subject to a given stability margin. We apply the proposed framework to PID, cascade, and decoupling control to illustrate how the event thresholds can be tuned in practice. Numerical examples show for these three control architectures how controller–actuator communication can be reduced without performance degradation.
8.
Chen, Dongliang, et al.
(författare)
The Scanner of Heterogeneous Traffic Flow in Smart Cities by an Updating Model of Connected and Automated Vehicles
2022
Ingår i: IEEE transactions on intelligent transportation systems (Print). - : IEEE. - 1524-9050 .- 1558-0016. ; 23:12, s. 25361-25370
Tidskriftsartikel (refereegranskat) abstract
The problems of traditional traffic flow detection and calculation methods include limited traffic scenes, high system costs, and lower efficiency over detecting and calculating. Therefore, in this paper, we presented the updating Connected and Automated Vehicles (CAVs) model as the scanner of heterogeneous traffic flow, which uses various sensors to detect the characteristics of traffic flow in several traffic scenes on the roads. The model contains the hardware platform, software algorithm of CAV, and the analysis of traffic flow detection and simulation by Flow Project, where the driving of vehicles is mainly controlled by Reinforcement Learning (RL). Finally, the effectiveness of the proposed model and the corresponding swarm intelligence strategy is evaluated through simulation experiments. The results showed that the traffic flow scanning, tracking, and data recording performed continuously by CAVs are effective. The increase in the penetration rate of CAVs in the overall traffic flow has a significant effect on vehicle detection and identification. In addition, the vehicle occlusion rate is independent of the CAV lane position in all cases. The complete street scanner is a new technology that realizes the perception of the human settlement environment with the help of the Internet of Vehicles based on 5G communications and sensors. Although there are some shortcomings in the experiment, it still provides an experimental reference for the development of smart vehicles.
9.
Selvaraj, Yuvaraj, 1990
(författare)
On Provably Correct Decision-Making for Automated Driving
2020
Licentiatavhandling (övrigt vetenskapligt/konstnärligt) abstract
The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. Many different hardware and software components (e.g. sensing, decision-making, actuation, and control) interact to solve the autonomous driving task. Correctness of such automated driving systems is crucial as incorrect behaviour may have catastrophic consequences. Autonomous vehicles operate in complex and dynamic environments, which requires decision-making and planning at different levels. The aim of such decision-making components in these systems is to make safe decisions at all times. The challenge of safety verification of these systems is crucial for the commercial deployment of full autonomy in vehicles. Testing for safety is expensive, impractical, and can never guarantee the absence of errors. In contrast, formal methods , which are techniques that use rigorous mathematical models to build hardware and software systems can provide a mathematical proof of the correctness of the system. The focus of this thesis is to address some of the challenges in the safety verification of decision-making in automated driving systems. A central question here is how to establish formal verification as an efficient tool for automated driving software development. A key finding is the need for an integrated formal approach to prove correctness and to provide a complete safety argument. This thesis provides insights into how three different formal verification approaches, namely supervisory control theory, model checking, and deductive verification differ in their application to automated driving and identifies the challenges associated with each method. It identifies the need for the introduction of more rigour in the requirement refinement process and presents one possible solution by using a formal model-based safety analysis approach. To address challenges in the manual modelling process, a possible solution by automatically learning formal models directly from code is proposed.
10.
Svensson, Lars, 1989-, et al.
(författare)
Traction Adaptive Motion Planning and Control at the Limits of Handling
2022
Ingår i: IEEE Transactions on Control Systems Technology. - : Institute of Electrical and Electronics Engineers (IEEE). - 1063-6536 .- 1558-0865. ; 30:5, s. 1888-1904
Tidskriftsartikel (refereegranskat) abstract
In this article, we address the problem of motion planning and control at the limits of handling, under locally varying traction conditions. We propose a novel solution method where traction variations over the prediction horizon are represented by time-varying tire force constraints, derived from a predictive friction estimate. A \CFTOClong (\CFTOCshort) is solved in a receding horizon fashion, imposing these time-varying constraints. Furthermore, our method features an integrated sampling augmentation procedure that addresses the problems of infeasibility and sensitivity to local minima that arise at abrupt constraint alterations, for example, due to sudden friction changes. We validate the proposed algorithm on a Volvo FH16 heavy-duty vehicle, in a range of critical scenarios. Experimental results indicate that traction adaptive motion planning and control improves the vehicle's capacity to avoid accidents, both when adapting to low local traction, by ensuring dynamic feasibility of the planned motion, and when adapting to high local traction, by realizing high traction utilization.
