Real-time predictive control for SI engines using linear parameter-varying models

As a response to the ever more stringent emission standards, automotive engines have become more complex with more actuators. The traditional approach of using many single-input single output controllers has become more difficult to design, due to complex system interactions and constraints. Model predictive control offers an attractive solution to this problem because of its ability to handle multi-input multi-output systems with constraints on inputs and outputs. The application of model based predictive control to automotive engines is explored below and a multivariable engine torque and air-fuel ratio controller is described using a quasi-LPV model predictive control methodology. Compared with the traditional approach of using SISO controllers to control air fuel ratio and torque separately, an advantage is that the interactions between the air and fuel paths are handled explicitly. Furthermore, the quasi-LPV model-based approach is capable of capturing the model nonlinearities within a tractable linear structure, and it has the potential of handling hard actuator constraints. The control design approach was applied to a 2010 Chevy Equinox with a 2.4L gasoline engine and simulation results are presented. Since computational complexity has been the main limiting factor for fast real time applications of MPC, we present various simplifications to reduce computational requirements. A benchmark comparison of estimated computational speed is included

Multi-objective design optimisation of a 3D-rail stamping process using a robust multi-objective optimisation platform (RMOP)

The paper investigates the multi-objective design optimisation of a stamping process to control the final shape and the final quality using advanced high strength steels. The design problem of the stamping process is formulated to minimise the difference between the desired shape and the final geometry obtained by numerical simulation accounting elastic springback. In addition, the final product quality is maximised by improving safety zones without wrinkling, thinning, or failure. Numerical results show that the proposed methodology improves the final product quality while reduces its springback.Peer ReviewedPostprint (published version

Incremental bounded model checking for embedded software

Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and test case generation are some of the most common applications of automated verification tools based on bounded model checking (BMC). Existing industrial tools for embedded software use an off-the-shelf bounded model checker and apply it iteratively to verify the program with an increasing number of unwindings. This approach unnecessarily wastes time repeating work that has already been done and fails to exploit the power of incremental SAT solving. This article reports on the extension of the software model checker CBMC to support incremental BMC and its successful integration with the industrial embedded software verification tool BTC EMBEDDED TESTER. We present an extensive evaluation over large industrial embedded programs, mainly from the automotive industry. We show that incremental BMC cuts runtimes by one order of magnitude in comparison to the standard non-incremental approach, enabling the application of formal verification to large and complex embedded software. We furthermore report promising results on analysing programs with arbitrary loop structure using incremental BMC, demonstrating its applicability and potential to verify general software beyond the embedded domain

GA-based tuning of nonlinear observers for sensorless control of IPMSMs

The paper considers two observer-based rotor position estimation schemes for sensorless control of interior permanent magnet synchronous machines (IPMSMs). Emphasis is given to techniques based on feedback linearisation followed by Luenberger observer design, and direct design of nonlinear observers. Genetic algorithms (GAs) based on the principles of evolution, natural selection and genetic mutation are employed to address difficulties in selecting correction gains for the observers, since no analytical tuning mechanisms yet exist, with results included to demonstrate the enhanced performance attributes offered by observers tuned in this way

SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry

In this paper, we aim at the automated unit coverage-based testing for embedded software. To achieve the goal, by analyzing the industrial requirements and our previous work on automated unit testing tool CAUT, we rebuild a new tool, SmartUnit, to solve the engineering requirements that take place in our partner companies. SmartUnit is a dynamic symbolic execution implementation, which supports statement, branch, boundary value and MC/DC coverage. SmartUnit has been used to test more than one million lines of code in real projects. For confidentiality motives, we select three in-house real projects for the empirical evaluations. We also carry out our evaluations on two open source database projects, SQLite and PostgreSQL, to test the scalability of our tool since the scale of the embedded software project is mostly not large, 5K-50K lines of code on average. From our experimental results, in general, more than 90% of functions in commercial embedded software achieve 100% statement, branch, MC/DC coverage, more than 80% of functions in SQLite achieve 100% MC/DC coverage, and more than 60% of functions in PostgreSQL achieve 100% MC/DC coverage. Moreover, SmartUnit is able to find the runtime exceptions at the unit testing level. We also have reported exceptions like array index out of bounds and divided-by-zero in SQLite. Furthermore, we analyze the reasons of low coverage in automated unit testing in our setting and give a survey on the situation of manual unit testing with respect to automated unit testing in industry.Comment: In Proceedings of 40th International Conference on Software Engineering: Software Engineering in Practice Track, Gothenburg, Sweden, May 27-June 3, 2018 (ICSE-SEIP '18), 10 page