Alberto Sangiovanni-Vincentelli

TL;DR: The design of a torque tracking controller for a spark ignition engine and a hybrid model that describes the interacting behavior of the intake manifold, the engine, the power-train and the catalytic converter is illustrated.

TL;DR: This paper focuses on quantitative constraints specified with logic of constraints (LOC) and coordination constraints with linear temporal logic (LTL) that are used in the specification, modeling, and validation of heterogeneous embedded system design.

TL;DR: 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 drive-by-wire electronics is addressed using a detailed, cycle-accurate hybrid model and hybrid control approaches.

TL;DR: This paper presents a methodology for the design of embedded controllers for multi-vehicle multi-modal systems predicated upon the principles of platform-based design, which uses layers of abstraction to isolate applications from low-level system details and yet provides enough information about the important parameters of the lower layers to modularize the system design and to provide predictable system performance.

TL;DR: The range-based localization problem is considered and a method to detect coordinated adversarial corruption on anchor positions and distance measurements is proposed and Gordian, a rapidly finds attacks by identifying geometric inconsistencies at the graph level without requiring assumptions about hardware, ranging mechanisms, or cryptographic protocols is proposed.