@conference {ABBPSZ05,
	title = {Randomized Algorithms for Platform{\textendash}based Design},
	booktitle = {Proc. IEEE Int. Conf. on Decision and Control},
	year = {2005},
	pages = {6638 - 6643},
	abstract = {<p>The design of automotive control systems is becoming increasingly complex as the level of performance required by car manufactures grows continuously and the constraints on cost and development time imposed by the market become tighter. A successful design, without costly and time consuming re-design cycles, can be achieved only by using an efficient design methodology that allows for component re-use and evaluation of platform requirements at the early stages of the design flow. In this paper, we illustrate a control-implementation design methodology for the development of embedded controllers by composition of algorithms picked up from libraries. Randomized algorithms and hybrid system theory are used to develop techniques for functional and architecture evaluations, which are implemented in a prototype tool.</p>
},
	keywords = {Embedded Control, Robotics},
	author = {A. Agostini and A. Balluchi and A. Bicchi and B. Piccoli and Sangiovanni Vincentelli, A. and K. Zadarnowska}
}
@article {BMP02,
	title = {On the reachability of quantized control systems},
	journal = {IEEE Trans. on Automatic Control},
	volume = {4},
	number = {47},
	year = {2002},
	month = {April},
	pages = {546-563},
	abstract = {<p>In this paper we study control systems whose input sets are quantized, i.e. finite or regularly distributed on a mesh. We specifically focus on problems relating to the structure of the reachable set of such systems, which may turn out to be either dense or discrete. We report results on the reachable set of linear quantized systems, and on a particular but interesting class of nonlinear systems, i.e. nonholonomic chained-form systems. For such systems, we provide a complete characterization of the reachable set, and, in the case the set is discrete, a computable method to completely and succinctly describe its structure. Implications and open problems in the analysis and synthesis of quantized control systems are addressed.</p>
},
	keywords = {Embedded Control, Robotics},
	author = {A. Bicchi and A. Marigo and B. Piccoli}
}
@conference {MPB00-cdc,
	title = {Reachability Analysis for a Class of Quantized Control Systems},
	booktitle = {Proc. IEEE Int. Conf. on Decision and Control},
	year = {2000},
	month = {December},
	pages = {3963-3968},
	address = {Sydney, AU},
	keywords = {Hybrid and Embedded Control Systems, Nonlinear Control Systems, Quantized Control Systems},
	author = {A. Marigo and B. Piccoli and A. Bicchi}
}
