Online Discrete Event Control of Hybrid Systems

AuthorSearch for:
TypeTechnical Report
Series titleInstitute Report
SubjectControl; hybrid; modeling; switched continuous model (SCM); continuous system models (CSM)
AbstractThe increasing proliferation of automatic control systems in embedded and distributed applications has lead to increasingly complex systems. These systems manifest a mixture of continuous and discrete dynamics due to the interaction of the computer controlled or logical decision-making subsystems interacting with the real world, and are thus referred to as hybrid systems. The inherent complexity of such hybrid systems makes them difficult to model, analyze and design. As such, industrial application of hybrid system theory has yet to gain widespread acceptance. This thesis presents an approach to the modeling, synthesis and implementation of automatic controllers for hybrid systems. This work centers on a fexible hybrid system modeling framework that permits automated synthesis of controllers for hybrid systems, based on safety and performance design specifications. This hybrid modeling framework is the switched continuous model (SCM), based on discrete switching between continuous system models (CSM). Discrete abstractions of the CSM dynamics enable the controller actions to be simple discrete decisions at appropriate points in the state space of the controlled system. The SCM communicates with external discrete event systems (DES) through sets of shared discrete events, thus allowing the techniques of DES supervisory control synthesis to be employed. The resulting controllers are model-based, and safe by design, since they encapsulate the continuous and discrete event models that together model the plant and specification dynamics. Due to the inherently uncountable state space of the hybrid system model, the controller computation is performed online, and is limited to a finite time horizon in order to preserve the finite state properties of the discrete abstraction. The details of the modeling framework, controller synthesis, and online implementation are developed, including a computational approach, architecture, and algorithms. A software package that implements these control concepts was developed. Two detailed modeling and control synthesis applications are presented: a simple benchmark hybrid control example and a realistic industrial example.
Publication date
PublisherNational Research Council Canada. Institute for Ocean Technology
PlaceSt. John's, NL
AffiliationNRC Institute for Ocean Technology; National Research Council Canada
Peer reviewedNo
IdentifierIR-2007-35
NRC number6510
NPARC number8894843
Export citationExport as RIS
Report a correctionReport a correction
Record identifier8ace2226-d1dc-4694-8e9e-4b24b13fc154
Record created2009-04-22
Record modified2016-10-03
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
  • Share this page with Delicious (Opens in a new window)