Specification and testing of automotive powertrain control system software using CACSD tools

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

Download Full-text

Closed loop auto control system software for Miniature Neutron Source Reactors (MNSRs)

Kerntechnik ◽

10.3139/124.110045 ◽

2009 ◽

Vol 74 (5-6) ◽

pp. 280-285

Author(s):

M. Iqbal ◽

J. Qadir ◽

T. K. Bhatti ◽

Q. Abbas ◽

S. M. Mirza

Keyword(s):

Control System ◽

Neutron Source ◽

Closed Loop ◽

System Software

Download Full-text

Benchmark of Rotor Position Sensor Technologies for Application in Automotive Electric Drive Trains

Electronics ◽

10.3390/electronics9071063 ◽

2020 ◽

Vol 9 (7) ◽

pp. 1063 ◽

Cited By ~ 1

Author(s):

Christoph Datlinger ◽

Mario Hirz

Keyword(s):

Evaluation Criteria ◽

Position Sensor ◽

Permanent Magnet Synchronous Machines ◽

Rotor Position ◽

Powertrain Control ◽

Alternative Technologies ◽

Traction Motors ◽

Drive Trains ◽

Automotive Powertrain ◽

Electric Powertrains

Rotor shaft position sensors are required to ensure the efficient and reliable control of Permanent Magnet Synchronous Machines (PMSM), which are often applied as traction motors in electrified automotive powertrains. In general, various sensor principles are available, e.g., resolvers and inductive- or magnetoresistive sensors. Each technology is characterized by strengths and weaknesses in terms of measurement accuracy, space demands, disturbing factors and costs, etc. Since the most frequently applied technology, the resolver, shows some weaknesses and is relatively costly, alternative technologies have been introduced during the past years. This paper investigates state-of-the-art position sensor technologies and compares their potentials for use in PMSM in automotive powertrain systems. The corresponding evaluation criteria are defined according to the typical requirements of automotive electric powertrains, and include the provided sensor accuracy under the influence of mechanical tolerances and deviations, integration size, and different electrical- and signal processing-related parameters. The study presents a mapping of the potentials of different rotor position sensor technologies with the target to support the selection of suitable sensor technologies for specified powertrain control applications, addressing both system design and components development.

Download Full-text