University of Limerick Institutional Repository

Hybrid systems controller design methodology

DSpace Repository

Show simple item record Pluska, Michal Sinclair, David 2012-05-16T14:37:18Z 2012-05-16T14:37:18Z 2010
dc.identifier.citation World Automotive Congress en_US
dc.description peer-reviewed en_US
dc.description.abstract Around ninety percent of vehicle innovations are driven mainly by electronics. The software implementing control algorithms combines the sensor values and calculates some meaningful actuator signals. On the other hand software in the vehicle can be seen as a part of a hybrid system. The hybrid system is a dynamic system that can have both continuous and discrete dynamic behaviour, its mean a system is described by both a differential equation and a difference equation. Moreover hybrid system has the benefit of combining a larger class of systems within its structure, allowing for more flexibility in modelling dynamics and with success can be used to design automotive systems. In up to date, state of the art research there is no methodology to combine these two different domains. Most of the automotive software methodologies are focus on the development of the system which can be describe as a discreet or on the architecture of software alone. On the other hand up to date hybrid system design is focused only on the physical properties of systems and do not consider cooperation of control software and hardware. The on going research aims to combine these two different domains. Presented methodology extends V-model approach to the system design and allows handle complex systems with discreet and continuous dynamics throughout whole design process. It also can be seen as a extension of AUTOMODE process to handle more complicated systems. The graphical interface based on widely adopted UML and comparable SysML, aims for more understandable and generic usage. The design methodology will be described by presenting an example of whole design process for controller of the vehicle active suspension. The proposed design methodology is focus on design process of control algorithm and more important safety verification of it. The methodology will allow safety and time analysis in easier and more structured way. Moreover it will allow parametric approach to the system in design with possibility to find correct parameters of it work by verification. The underling verification process is based on the hybrid automaton model checking approach to the hybrid system. en_US
dc.language.iso eng en_US
dc.subject hybrid automata en_US
dc.subject control software en_US
dc.subject design methodology en_US
dc.subject automotive systems en_US
dc.subject system validation en_US
dc.title Hybrid systems controller design methodology en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor SFI en_US
dc.relation.projectid 03/CE2/I303_1 en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account