Maximal safe set computation for idle speed control of an automatic engine

DOI10.1007/3-540-46430-1_7MaRDI QIDQ4953379zbMATH OpenFDO

Authors Luca Benvenuti, Maria D. Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Andrea Balluchi, Alberto L. Sangiovanni-Vincentelli

Publication date 18 June 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46430-1_7

zbMATH Keywords

constraintshybrid automatonidle controlidle speed control of enginesmaximal safe set

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65) Application models in control theory (93C95)

Review text

The problem of maintaining the crankshaft speed within a given range is formalized as safety specification for the closed-loop system modeled as a hybrid automaton. Based on the hybrid model, the maximal safe set for the idle control is determined. Moreover, the entire set of possible controllers that satisfy the constraints is obtained. For the entire collection see [Zbl 0934.00029].

Recommendations

• Hybrid Systems: Computation and Control
• Invariant sets and control synthesis for switching systems with safety specifications
• Digital idle speed control of automotive engines: a safety problem for hybrid systems
• A hybrid feedback for a benchmark problem of idle speed control
• Idle speed control of port-injection engines \textit{via} the polynomial equation approach

Cited in

(8)

• A new formulation for the safe set problem on graphs
• Algorithmic analysis of polygonal hybrid systems. I: Reachability
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Hybrid systems: Modelling and analysis using emergent dynamics
• Digital idle speed control of automotive engines: a safety problem for hybrid systems
• Invariant sets and control synthesis for switching systems with safety specifications
• Hybrid Systems: Computation and Control
• Inclusion dynamics hybrid automata

This page was built for publication: Maximal safe set computation for idle speed control of an automatic engine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953379)