Automobile Cruise Control System Research Articles

A novel improved arithmetic optimization algorithm for optimal design of PID controlled and Bode’s ideal transfer function based automobile cruise control system

A novel improved arithmetic optimization algorithm for optimal design of PID controlled and Bode’s ideal transfer function based automobile cruise control system

Antlion optimizer tuned PID controller based on Bode ideal transfer function for automobile cruise control system

Abstract Automobile cruise control reduces driver fatigue and ensures traffic safety by heavily relying on ICT and control engineering. A number of cruise control schemes are expected to be designed for proper safety management of vehicles in automobile design sector. Due to boosting road crowds, there is a new demand in developing automation of cruise control. The successfulness of automation of cruise control is heavily dependent on the efficient design of feedback control system. The use of evolutionary algorithms in designing feedback control of automobile cruise control system has reported in recent literature. It involves the communication of traffic data captured by sensor with actuator of the vehicle. The literature still lacks use of recently developed evolutionary algorithms for cruise control that could leverage road safety by tuning the control parameters. This paper presents the design of robust PID controller for an automobile cruise control system (ACCS). A linearized version of the cruise control system has been studies as per the dominant characteristics in closed loop system. The PID controller is designed as per Bode ideal transfer function to ensure robustness and formulated as an optimization problem. The gain parameters of the designed PID controller are tuned by ant lion optimizer (ALO) algorithm such that the proposed compensated system depicts the Bode ideal reference model. A comparison of this approach, a state space method, classical PID, fuzzy logic, genetic algorithm is presented. Numerical simulations shows that the ALO tuned PID controller based on bodes ideal model has better performance in terms of settling time, rise time, maximum overshot, peak time and steady state error. The performance analysis has performed by time domain analysis and frequency domain analysis. The robustness of the system is evaluated by considering sensitivity, complimentary sensitivity and controller sensitivity function. Further, the disturbance rejection behavior is studied for the proposed system. The analysis result reveals that the proposed ALO based PID controller with Bode ideal model for ACCS performs better than other recently published methods. All the simulations are carried out in Simulink/Matlab environment.

PID Controller Design for Cruise Control System using Particle Swarm Optimization

This paper presents a design of a Proportional-Integral-Derivative (PID) controller for automobile cruise controlsystem. The parameters of the PID controller, which are the proportional ( ), derivative ( ) , and integrator ( ), have beenselected using Particle Swarm Optimization (PSO) algorithm. In this study, the overall system performance has beencompared with other predesigned controllers (conventional PID, Fuzzy logic PID, state space, and Genetic algorithm basedPID controller). The simulation result illustrates that PSO based PID controller gives the best response in terms of settlingtime, rise time, peak time, and maximum overshot. The robustness analysis shows that the system is robust despite thedeviations in some of the system parameters.

차량 정속주행 시스템의 성능향상에 관한 연구 : 외란관측기 기법

The automobile cruise control system tries to maintain a constant velocity in the face of disturbance mainly caused by mass changes or changes in the slope of a road. The controller should compensate for such disturbances and model uncertainties. In this paper, we study on the disturbance observer based controller for cruise control system. In the presence of disturbances and model uncertainties, we carry out computer simulations in order to compare the performance of the conventional PI controller and DOB controller. From the simulation results, we found that the performance of DOB controller is superior to that of the conventional PI controller.

Design of automobile cruise control system based on Matlab and fuzzy PID

Design of automobile cruise control system based on Matlab and fuzzy PID

Combining abductive reasoning and inductive learning to evolve requirements specifications

The development of requirements specifications inevitably involves modification and evolution. To support modification while preserving particular requirements goals and properties, the use of a cycle composed of two phases: analysis and revision is proposed. In the analysis phase, a desirable property of the system is checked against a partial specification. Should the property be violated, diagnostic information is provided. In the revision phase, the diagnostic information is used to help modify the specification in such a way that the new specification no longer violates the original property. An instance of the above analysis–revision cycle that combines new techniques of logical abduction and inductive learning to analyse and revise specifications, respectively is investigated. More specifically, given an (event-based) system description and a system property, abductive reasoning is applied in refutation mode to verify whether the description satisfies the property and, if it does not, identify diagnostic information in the form of a set of examples of property violation. These (counter) examples are then used to generate a corresponding set of examples of system behaviours that should be covered by the system description. Finally, such examples are used as training examples for inductive learning, changing the system description in order to resolve the property violation. This is accomplished with the use of the connectionist inductive learning and logic programming system—a hybrid system based on neural networks and the backpropagation learning algorithm. A case study of an automobile cruise control system illustrates the approach and provides some early validation of its capabilities.

External model and SyncCharts description of an automobile cruise control system

In this paper, a generic model is developed for smart instruments, and SyncCharts of the synchronous model are used to specify automated systems. The generic model provides an external description, which is the user's point of view, and the SyncCharts model gives a behavioral model of the system. From the complementary information offered by these two models of a device, a method to obtain a coherent SyncCharts from a part of the external model is proposed. The classical example of an automobile speed cruise control system is used for illustration.

Automatic generation of state invariants from requirements specifications

Automatic generation of state invariants, properties that hold in every reachable state of a state machine model, can be valuable in software development. Not only can such invariants be presented to system users for validation, in addition, they can be used as auxiliary assertions in proving other invariants. This paper describes an algorithm for the automatic generation of state invariants that, in contrast to most other such algorithms, which operate on programs, derives invariants from requirements specifications. Generating invariants from requirements specifications rather than programs has two advantages: 1) because requirements specifications, unlike programs, are at a high level of abstraction, generation of and analysis using such invariants is easier, and 2) using invariants to detect errors during the requirements phase is considerably more cost-effective than using invariants later in software development. To illustrate the algorithm, we use it to generate state invariants from requirements specifications of an automobile cruise control system and a simple control system for a nuclear plant. The invariants are derived from specifications expressed in the SCR (Software Cost Reduction) tabular notation.

Intelligent Device Formal Description Applied to Hybrid Systems

In this paper, the generic model, we have developped for smart instruments, is used to specify hybrid systems. The proposed model contains on one hand an external description which is the user’s point of view, and on the other hand, the internal description which provides the functionalities which have to be implemented. In particular, we focuse our interest on operating modes and we compare our description with other specifications of reactive systems such as Statecharts. The classical exemple of an automobile cruise control system is used for illustration.

A logic-model semantics for SCR software requirements

This paper presents a simple logic-model semantics for Software Cost Reduction (SCR) software requirements. Such a semantics enables model-checking of native SCR requirements and obviates the need to transform the requirements for analysis. The paper also proposes modal-logic abbreviations for expressing conditioned events in temporal-logic formulae. The Symbolic Model Verifier (SMV) is used to verify that an SCR requirements specification enforces desired global requirements, expressed as formulae in the enhanced logic. The properties of a small system (an automobile cruise control system) are verified, including an invariant property that could not be verified previously. The paper concludes with a discussion of how other requirements notations for conditioned-event-driven systems could be similarly checked.

State-based model checking of event-driven system requirements

It is demonstrated how model checking can be used to verify safety properties for event-driven systems. SCR tabular requirements describe required system behavior in a format that is intuitive, easy to read, and scalable to large systems (e.g. the software requirements for the A-7 military aircraft). Model checking of temporal logics has been established as a sound technique for verifying properties of hardware systems. An automated technique for formalizing the semiformal SCR requirements and for transforming the resultant formal specification onto a finite structure that a model checker can analyze has been developed. This technique was effective in uncovering violations of system invariants in both an automobile cruise control system and a water-level monitoring system.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>

State-based model checking of event-driven system requirements

In this paper, we demonstrate how model checking can be used to verify safety properties for event-driven systems. SCR tabular requirements describe required system behavior in a format that is intuitive, easy to read, and scalable to large systems (e.g., the software requirements for the A7 aircraft). Model checking of temporal logics has been established as a sound technique for verifying properties of hardware systems. We have developed an automated technique for formalizing the semiformal SCR requirements and for transforming the resultant formal specification onto a finite structure that a model checker can analyze. This technique was effective in uncovering violations of system invariants in both an automobile cruise control system and a water-level monitoring system.