Alessandro Abate
Research


Main

Bio

Research


Hybrid Systems

Comm Nets

Systems Biology

Other

Publications

Teaching

Contacts

Links

Barnum



Broadly, my research interests lie in the field of System Theory and Control Engineering.
The main focus of my research at Berkeley has been in the theoretical study, computational implications and application-oriented aspects of Hybrid Systems (HS), with special emphasis on Stochastic HS.

The main application and study area I'm currently and foremostly trying to look at is Systems Biology. This is the focus of my postdoctoral work at Stanford.

On the side, I've been exposed to topics at the intersection between Communications, Control and Optimization by working on problems of Congestion Control of Communication Networks, in particular Wireless ones.
Finally, throughout my PhD career, I've had the chance to look at topics in NonLinear Control and Statistical Lerning Theory.


Main Affiliations:

Hybrid Systems Lab, Department of Aeronautics and Astronautics, Stanford University, CA (official);
Control Group, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley.

Current External Affiliations:

Department of Pathology, Stanford School of Medicine, Stanford University, CA;
Computer Science Lab, SRI International, Menlo Park, CA;
Department of Information Engineering, University of Padova, Italy.


[Stochastic] Hybrid Systems

My main research focus is in the theory of hybrid systems, i.e. nonlinear systems that are generalizations of dynamical systems in the sense that they involve hierarchical and mixed models of computation, and in particular in the novel introduction and study of concepts of stochastic hybrid systems within this setting. The formulation of hybrid systems is a recently developed modeling framework which has proved to be modeling accurately engineering systems which exhibit complex behaviors, like air traffic control systems, infrastructure networks, and natural systems like biological networks. Hybrid systems theory presents technically challenging and original problematics related to the intrinsic interplay between continuous and discrete components and their dynamics. The necessity of modeling uncertain, noisy or stochastic systems has motivated the subsequent introduction of probabilistic concepts in the framework. This, in turn, requires the development of new concepts and techniques from probability theory that are quite sophisticated. Stochastic hybrid systems have recently been established as the novel and strongest modeling choice for their broad generality and wide potential applications.

If you are interested in Probabilistic Reachability for Controlled SHS, follow this link to an informative page.


Systems and Computational Biology

Box Invariance for biologically-inspired Systems:

In this paper we introduce a special notion of Invariance Set for certain classes of dynamical systems: the concept has been inspired by our experience with models drawn from Biology. We claim that Box Invariance, that is, the existence of ``boxed'' invariant regions, is a characteristic of many biologically-inspired dynamical models, especially those derived from stoichiometric reactions. Moreover, box invariance is quite useful for the verification of safety properties of such systems. This paper presents effective characterization of this notion for linear and affine systems, the study of the dynamical properties it subsumes, computational aspects of checking for box invariance, and a comparison with related concepts in the literature. The concept is illustrated using two models from biology.

Simulation of Genetic, Protein and Metabolic Networks:

This work investigates possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underlying theme is annotation of reaction rules with affinity information that can be used in different simulation strategies. Several such strategies were implemented, and experiments carried out to test feasibility, and to compare results of different approaches. Dimerization in the ErbB signalling network, important in cancer biology, was used as a test case.


Control of Wireless Communication Networks

The problem of congestion control and packet exchange on wireless networks is currently of great interest, both for its underlying theoretical aspects, as well as for its clear practical implications and applications. In collaboration with Minghua Chen, we considered a mathematical model for the fluid flow approximation of the real Transmission Control Protocol (TCP) for wired networks and focused on the problem of extending this scheme to the wireless scenario. The new proposed scheme was rigorously analyzed, its stability derived and its robustness properties studied. The necessity of introducing a specific wireless model is motivated by the presence of channel error (due to intrinsic noise or channel corruption), which often is not known exactly. This leads to further modification of the model by approximating parts of its structure with binary functions. These new discontinuous elements, while greatly simplifying in practice the structure of the algorithm, complicated the theoretical analysis of its dynamical properties. They were therefore approximated with continuous functions with limiting convergence. We then investigated the important issues of existence and uniqueness of the equilibrium for the new dynamical system, and of local asymptotic stability. Furthermore, it was shown that this equilibrium solves a concave net utility optimization problem, of which the classical one for wired networks is a special case. The scheme, proposed to handle the traffic on a wireless network, appears not only to be theoretically meaningful, but has also the potential to be translated into a practical application layer implementation. The entire analysis of the model, which contained strong nonlinearities, posed interesting difficulties that was possible to overcome by using results form nonlinear systems theory. In particular, the idea of referring to results from the theory of 'singular perturbations' was key in enabling the study of the properties of systems with dynamics that happen at different time scales (in the particular instance it was the case of the packets sent through a network and the number of users on the network). The work appears to be of potentially high applicability and impact.
Please refer to this page for clickable preprints of the published work.


Other, older Work

Robust MPC:

Through my work with prof. El Ghaoui I've been exposed to the topic of robust convex optimization. In particular, I've been interested in looking at the issue of robustness for Model Predictive Control (MPC), which is a successfully established and widespread control approach. In the work ``Robust Model Predictive Control through Adjustable Variables: An Application to Path Planning'' (find it here), after a definition of the conceptual framework and of the problem setting, I have analyzed how a technique developed for studying robustness in Convex Optimization can be applied to address the problem of robustness in the MPC case: this method relies on a relaxation procedure made possible by proper hypotheses on the dependence of the control variables upon the uncertainty (please check Literature by Nesterov and Nemirovski on ``Affinely-adjustable robust variables''). Hence, exploiting this relationship between Control and Optimization, I have tackled robustness issues for the first setting through methods developed in the second framework. Proofs for our results are included. As an application of this Robust MPC result, I have considered a Path Planning problem and discussed some first simulations.

Non linear Control of a Motorcycle:

This relatively short research effort, which led to my Laurea thesis (find it here), allowed me to apply concepts from non linear control and MPC to an actual problem. More recently , the results have been further extended by people I collaborated with.

Collaborators and Coauthors

Prof. Claire Tomlin, my postdoc advisor at Stanford
Prof. Shankar Sastry, my PhD research advisor at Berkeley
Prof. Laurent El Ghaoui, my MS co-advisor at Berkeley
Ling Shi, at CDS, Caltech
Prof. Slobodan Simic, at San Jose' State University
Dr. Minghua Chen, now at CUHK, previously at MSR and EECS, UC Berkeley
Prof. Avideh Zakhor, at EECS, UC Berkeley
Prof. Ruggero Frezza, at DEI, Padova
Dr. Alessandro Saccon, at DEI, Padova
Dr. Aaron Ames, now post-doc at CDS, Caltech
Prof. Gert Lanckriet, CS, UCSD
Saurabh Amin, CE, UC Berkeley
Dr. Alessandro D'Innocenzo, at the University of L'Aquila/ GRASP Lab, UPenn
Dr. Giordano Pola, now at EE, UCLA/EE L'Aquila
Prof. John Lygeros, Automatic Control Lab, ETH Zurich
Prof. Maria Prandini, Politecnco di Milano, Italy
Dr. Ashish Tiwari, at the CS Lab, SRI International
Dr. Fabrizio Dal Moro, Department of Urology, School of Medicine, University of Padova

 top