Showing papers by "Maria Domenica Di Benedetto published in 2001"

A hybrid observer for the driveline dynamics

Abstract: In this paper a methodology for the design of a hybrid observer for a hybrid system with no continuous state reset is proposed. This methodology is applied to the synthesis of a hybrid observer for a model of a driveline with discontinuity in the elastic torsionial coefficient.

Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings

Abstract: Control as an Embedded Technology.- Optimisation of Hybrid Processes and Hybrid Controllers.- Embedded Software and Systems: Challenges and Approaches.- Hybrid Systems Applications: An Oxymoron?.- Design of Luenberger Observers for a Class of Hybrid Linear Systems.- Hybrid Modeling and Simulation of Biomolecular Networks.- Compositional Refinement for Hierarchical Hybrid Systems.- Optimal Paths in Weighted Timed Automata.- Reach Set Computations Using Real Quantifier Elimination.- On Hybrid Control of Under-Actuated Mechanical Systems.- On the Decidability of the Reachability Problem for Planar Differential Inclusions.- The Substratum of Impulse and Hybrid Control Systems.- Path-Dependent Impulse and Hybrid Systems.- Hybrid Feedback Control for Path Tracking by a Bounded-Curbature Vehicle.- Minimum-Cost Reachability for Priced Time Automata.- A Hybrid Approach to Traction Control.- Optimal Control Using Bisimulations: Implementation.- A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems.- Accurate Event Detection for Simulating Hybrid Systems.- A Clustering Technique for the Identification of Piecewise Affine systems.- Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model.- Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis.- Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles.- Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.- Hybrid Modeling of TCP Congestion Control.- Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem.- Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers.- Mode Switching Synthesis for Reachability Specifications.- Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions.- On a Novel Class of Bifurcations in Hybrid Dynamical Systems.- Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings.- Modeling of Continuous-Discrete Processes.- Hybrid I/O Automata Revisited.- Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets.- Robust Controller Synthesis for Hybrid Systems Using Modal Logic.- Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality.- Addressing Multiobjective Control: Safety and Performance through Constrained Optimization.- Representation of Quantised Systems by the Frobenius-Perron Operator.- Semi-de1cidable Synthesis for Triangular Hybrid Systems.- Hybrid Abstractions that Preserve Timed Languages.

Hybrid control of force transients for multi‐point injection engines

Abstract: SUMMARY We address the problem of delivering as quickly as possible a requested torque produced by a spark ignition engine equipped with a multi-point port injection manifold and with electronic throttle. The optimal control problem, subject to the constraint that the air}fuel ratio stays within a pre-assigned range around the stoichiometric ratio, is solved for a detailed, cycle-accurate hybrid model with a hybrid control approach based on a two-step process. In the "rst step, a continuous approximation of the hybrid problem is solved exactly. Then, the control law so obtained is adjusted to satisfy the constraints imposed by the hybrid model. The quality of the control law has been in part analytically demonstrated and in part validated with simulations. Copyright 2001 John Wiley & Sons, Ltd.