@article {BBMP-TAC06, title = {Feedback Encoding for Efficient Symbolic Control of Dynamical Systems}, journal = {IEEE Trans. on Automatic Control}, volume = {51}, number = {6}, year = {2006}, pages = {1-16}, abstract = {

The problem of efficiently steering dynamical systems by generating finite input plans is considered. Finite plans are finite{\textendash}length words constructed on a finite alphabet of input symbols, which could be e.g. transmitted through a limited capacity channel to a remote system, where they can be decoded in suitable control actions. Efficiency is considered in terms of the computational complexity of plans, and in terms of their description length (in number of bits). We show that, by suitable choice of the control encoding, finite plans can be efficiently built for a wide class of dynamical systems, computing arbitrarily close approximations of a desired equilibrium in polynomial time. The paper also investigates how the efficiency of planning is affected by the choice of inputs, and provides some results as to optimal performance in terms of accuracy and range.

}, keywords = {Embedded Control, Robotics}, author = {A. Bicchi and A. Marigo and B. Piccoli} } @conference {BMP06-HSCC, title = {Improving efficiency of finite plans by optimal choice of input sets}, booktitle = {Hybrid Systems: Computation and Control}, series = {Lecture Notes in Computer Science}, volume = {3927 / 2006}, year = {2006}, pages = {108-122}, publisher = {Springer-Verlag}, organization = {Springer-Verlag}, abstract = {

Finite plans proved to be an efficient method to steer complex control systems via feedback quantization. Such finite plans can be encoded by finite{\textendash}length words constructed on suitable alphabets, thus permitting transmission on limited capacity channels. In particular flat systems can be steered computing arbitrarily close approximations of a desired equilibrium in polynomial time. The paper investigates how the efficiency of planning is affected by the choice of inputs, and provides some results as to optimal performance in terms of accuracy and range. Efficiency is here measured in terms of computational complexity and description length (in number of bits) of finite plans.

}, keywords = {Embedded Control, Robotics}, author = {A. Bicchi and A. Marigo and B. Piccoli}, editor = {J. Hespanha and A. Tiwari} } @conference {FGBPM06, title = {Symbolic Control for Underactuated Differentially Flat Systems}, booktitle = {Proc. IEEE Int. Conf. on Robotics and Automation}, year = {2006}, pages = {1649-1654}, abstract = {

In this paper we address the problem of generating input plans to steer complex dynamical systems in an obstacle-free environment. Plans considered admit a finite description length and are constructed by words on an alphabet of input symbols, which could be e.g. transmitted through a limited capacity channel to a remote system, where they can be decoded in suitable control actions. We show that, by suitable choice of the control encoding, finite plans can be efficiently built for a wide class of dynamical systems, computing arbitrarily close approximations of a desired equilibrium in polynomial time. Moreover, we illustrate by simulations the power of the proposed method, solving the steering problem for two examples in the class of underactuated systems, which have attracted wide attention in the recent literature.

}, keywords = {Embedded Control, Robotics}, author = {A. Fagiolini and L. Greco and A. Bicchi and B. Piccoli and A. Marigo} } @conference {BMP04, title = {Discrete and Hybrid Nonholonomy}, booktitle = {Hybrid Systems: Computation and Control}, series = {LNCS}, volume = {2993}, number = {157{\textendash}172}, year = {2004}, pages = {157-172}, publisher = {Springer-Verlag}, organization = {Springer-Verlag}, abstract = {

In this paper we consider the generalization of the classical notion of nonholonomy of smooth constraints in analytical mechanics, to a substantially wider set of systems, allowing for discrete and hybrid (mixed continuous and discrete) configurations and transitions. We show that the general notion of nonholonomy can be captured by the definition of two different types of nonholonomicbehaviours, which we call {\em internal}nd {\em external}, respectively. Examples are reported of systems exhibiting either the former only, or the latter only, or both. For some classes of systems, we provide equivalent or sufficient characterizations of such definitions, which allow for practical tests.

}, keywords = {Embedded Control, Robotics}, author = {A. Bicchi and A. Marigo and B. Piccoli}, editor = {R. Alur and G. Pappas} } @article {MCB04, title = {Reachability and Steering of Rolling Polyhedra: A Case Study in Discrete Nonholonomy}, journal = {IEEE Trans. on Automatic Control}, volume = {49}, number = {5}, year = {2004}, month = {May}, pages = {710-726}, abstract = {

Rolling a ball on a plane is a standard example of nonholonomy reported in many textbooks, and the problem is also well understood for any smooth deformation of the surfaces. For non-smoothly deformed surfaces, however, much less is known. Although it may seem intuitive that nonholonomy is conserved (think e.g. to polyhedral approximations of smooth surfaces), current definitions of {\textquoteleft}{\textquoteleft}nonholonomy{\textquoteright}{\textquoteright} are inherently referred to systems described by ordinary differential equations, and are thus inapplicable to such systems. \{\.I}n this paper we study the set of positions and orientations that a polyhedral part can reach by rolling on a plane through sequences of adjacent faces. We provide a description of such reachable set, discuss conditions under which the set is dense, or discrete, or has a compound structure, and provide a method for steering the system to a desired reachable configuration, robustly with respect to model uncertainties. \\Based on ideas and concepts encountered in this case study, and in some other examples we provide, we turn back to the most general aspects of the problem and investigate the possible generalization of the notion of (kinematic) nonholonomy to non-smooth, discrete, and hybrid dynamical systems. To capture the essence of phenomena commonly regarded as {\textquoteleft}{\textquoteleft}nonholonomic{\textquoteright}{\textquoteright}, at least two irreducible concepts are to be defined, of {\textquoteleft}{\textquoteleft}internal{\textquoteright}{\textquoteright} and {\textquoteleft}{\textquoteleft}external{\textquoteright}{\textquoteright} nonholonomy, which may coexist in the same system. These definitions are instantiated by examples.

}, keywords = {Embedded Control, Robotics}, author = {A. Bicchi and Y. Chitour and A. Marigo} } @conference {BMP03, title = {Encoding steering control with symbols}, booktitle = {Proc. IEEE Int. Conf. on Decision and Control}, year = {2003}, pages = {3343-3348}, abstract = {

In this paper, we consider the problem of steering complex dynamical systems among equilibria in their state space in efficient ways. Efficiency is considered as the possibility of compactly representing the (typically very large, or infinite) set of reachable equilibria and quickly computing plans to move among them. To this purpose, we consider the possibility of building lattice structures by purposefully introducing quantization of inputs. We consider different ways in which control actions can be encoded in a finite or numerable set of symbols, review different applications where symbolic encoding of control actions can be employed with success, and provide a unified framework in which to study the many different possible manifestations of the idea.

}, keywords = {Embedded Control, Robotics}, author = {A. Bicchi and A. Marigo and B. Piccoli} } @conference {OVMB03, title = {From nominal to robust planning: The plate-ball manipulation system}, booktitle = {Proc. IEEE Int. Conf. on Robotics and Automation}, year = {2003}, month = {May}, pages = {3175-3180}, address = {Taipei, Taiwan}, abstract = {

Robotic manipulation by rolling contacts is an appealing method for achieving dexterity with relatively simple hardware. While there exist techniques for planning motions of rigid bodies in rolling contact under nominal conditions, an inescapable challenge is the design of robust controllers of provable performance in the presence of model perturbations. As a preliminary step in this direction, we present in this paper an iterative robust planner of arbitrary accuracy for the plate-ball manipulation system subject to perturbations on the sphere radius. The basic tool is an exact geometric planner for the nominal system, whose repeated application guarantees the desired robustness property on the basis of the Iterative Steering paradigm. Simulation results under perturbed conditions show the effectiveness of the method.

}, keywords = {Embedded Control, Robotics}, author = {G. Oriolo and M. Vendittelli and A. Marigo and A. Bicchi} } @article {BM02, title = {Dexterous Grippers: Putting Nonholonomy to Work for Fine Manipulation}, journal = {Int. Jour. of Robotics Research}, volume = {21}, number = {5-6}, year = {2002}, note = {

Special Issue on Nonholonomy on Purpose, H. Arai, A. Bicchi, eds.

}, month = {May-June}, pages = {427-442}, keywords = {Robotics}, author = {A. Bicchi and A. Marigo} } @conference {MPB02, title = {A Group-Theoretic Characterization of Quantized Control Systems}, booktitle = {Proc. IEEE Int. Conf. on Decision and Control}, year = {2002}, month = {December}, pages = {811-816}, abstract = {

In this paper we consider the reachability problem for quantized control systems, i.e. systems that take inputs from a finite set of symbols. Previous work addressed this problem for linear systems and for some specific classes of nonlinear driftless systems. In this paper we attack the study of more general nonlinear systems. To do so we find it useful to pose the problem in more abstract terms, and make use of the wealth of tools available in group theory, which enables us to proceed in our agenda of better understanding effects of quantization of inputs on dynamic systems.

}, keywords = {Embedded Control, Robotics}, author = {A. Marigo and B. Piccoli and A. Bicchi} } @conference {MB02-ICRA, title = {A local-local planning algorithm for rolling objects}, booktitle = {Proc. IEEE Int. Conf. on Robotics and Automation}, year = {2002}, month = {May}, pages = {1759-1764}, abstract = {

In this paper, we consider planning motions of objects of regular shape rolling on a plane among obstacles. Theoretical foundations and applications of this type of operations in robotic manipulation and locomotion have been discussed elsewhere. In this paper, we propose a novel algorithm that improves upon existing techniques in that: i) it is finitely computable and predictable (an upper bound on the computations necessary to reach a given goal within a tolerance can be given), and ii) it possesses a topological (local-local) property which enables obstacles and workspace limitations to be dealt with in an effective way.

}, keywords = {Embedded Control, Robotics}, author = {A. Marigo and A. Bicchi} } @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 = {

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.

}, keywords = {Embedded Control, Robotics}, author = {A. Bicchi and A. Marigo and B. Piccoli} } @conference {LMB01, title = {Optimal exploratory paths for a mobile rover}, booktitle = {Proc. IEEE Int. Conf. on Robotics and Automation}, year = {2001}, pages = {2078-2083}, keywords = {Autonomous Vehicles, Localization and Mapping, Sensors and Observers}, author = {F. Lorussi and A. Marigo and A. Bicchi} } @article {MCPB00, title = {Planning Motions of Polyhedral Parts by Rolling}, journal = {Algorithmica}, volume = {26}, year = {2000}, pages = {560-576}, keywords = {Hybrid and Embedded Control Systems, Nonlinear Control Systems, Quantized Control Systems, Robot Hands}, author = {A. Marigo and M. Ceccarelli and S. Piccinocchi and A. Bicchi} } @conference {BMP00, title = {Quantized Control Systems and Discrete Nonholonomy}, booktitle = {Proc. IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control}, year = {2000}, publisher = {Elsevier}, organization = {Elsevier}, address = {Princeton, NJ, USA}, keywords = {Hybrid and Embedded Control Systems, Nonlinear Control Systems, Quantized Control Systems}, 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} } @article {MB00, title = {Rolling Bodies with Regular Surface: Controllability Theory and Applications}, journal = {IEEE Trans. on Automatic Control}, volume = {45}, number = {9}, year = {2000}, month = {September}, pages = {1586-1599}, keywords = {Nonlinear Control Systems, Robot Hands}, author = {A. Marigo and A. Bicchi} } @conference {BM00, title = {Rolling Contacts and Dextrous Manipulation}, booktitle = {Proc. IEEE Int. Conf. on Robotics and Automation}, year = {2000}, month = {May}, pages = {282-287}, address = {San Francisco, CA}, keywords = {Nonholonomic Systems, Nonlinear Control Systems, Robot Hands}, author = {A. Bicchi and A. Marigo} } @conference {BMP99, title = {Dexterity through rolling: Manipulation of unknown objects}, booktitle = {Proc. IEEE Int. Conf. on Robotics and Automation}, year = {1999}, pages = {1583-1568}, keywords = {Nonlinear Control Systems, Robot Hands}, author = {A. Bicchi and A. Marigo and D Prattichizzo} } @inbook {MB98, title = {Rolling bodies with regular surfaces: the holonomic case}, booktitle = {Differential geometry and control}, series = {Proceedings of Symposia in Pure Mathematics}, volume = {64}, year = {1999}, pages = {241-256}, publisher = {American Mathematical Society}, organization = {American Mathematical Society}, author = {A. Marigo and A. Bicchi}, editor = {G. Ferreyra and R. Gardner and H. Hermes and H. Sussmann} } @conference {BMPPPTS98, title = {Decentralized Air Traffic Management Systems: Performance and Fault Tolerance}, booktitle = {Proc. IFAC Workshop on Motion Control}, year = {1998}, keywords = {Air Traffic Management Systems, Autonomous Vehicles, Hybrid and Embedded Control Systems, Nonlinear Control Systems}, author = {A. Bicchi and A. Marigo and G. Pappas and M. Pardini and G. Parlangeli and C. Tomlin and S. Sastry} } @conference {BPMB98, title = {On the observability of mobile vehicles localization}, booktitle = {Proc. IEEE Mediterranean Conf. On Control And Systems}, year = {1998}, abstract = {

In this paper, we consider the problem of localizing a mobile vehicle moving in an unstructured environment, based on triangulation measurements derived from processed optical information. The problem is shown to be intrinsically nonlinear, in the sense that the linear approximation of the system has different structural properties than the original model. In particular, linearized approximations are non{\textendash}observable, while results obtained from differential{\textendash}geometric nonlinear system theory prove the possibility of reconstructing the position and orientation of the vehicle and the position of the obstacles in the environment from optical information.

}, keywords = {Autonomous Vehicles, Localization and Mapping, Sensors and Observers}, author = {A. Bicchi and D Prattichizzo and A. Marigo and A. Balestrino} } @conference {MB98-CDC, title = {Steering Driftless Nonholonomic Systems by Control Quanta}, booktitle = {Proc. IEEE Int. Conf. on Decision and Control}, year = {1998}, pages = {4164-4169}, keywords = {Hybrid and Embedded Control Systems, Nonlinear Control Systems, Quantized Control Systems}, author = {A. Marigo and A. Bicchi} } @conference {MCB97, title = {Manipulation of polyhedral parts by rolling}, booktitle = {Proc. IEEE Int. Conf. on Robotics and Automation}, year = {1997}, keywords = {Hybrid and Embedded Control Systems, Nonlinear Control Systems, Quantized Control Systems}, author = {A. Marigo and Y. Chitour and A. Bicchi} } @inbook {BMP99-CPRA, title = {Robotic Dexterity via Nonholonomy}, booktitle = {Control Problems in Robotics and Automation}, series = {LNCIS 230}, year = {1997}, pages = {35-49}, publisher = {Springer Verlag}, organization = {Springer Verlag}, address = {Berlin Heidelberg, Germany}, keywords = {Haptics, Robotics}, author = {A. Bicchi and A. Marigo and D Prattichizzo}, editor = {B. Siciliano and K. Valavanis} } @inbook {CMPB97, title = {Rolling Polyhedra on a Plane: Analysis of the Reachable Set}, booktitle = {Algorithms for Robotic Motion and Manipulation}, year = {1997}, pages = {277-286}, publisher = {A. K. Peters}, organization = {A. K. Peters}, address = {Wellesley, MA, U.S.A.}, keywords = {Embedded Control, Robotics}, author = {Y. Chitour and A. Marigo and D Prattichizzo and A. Bicchi}, editor = {J.P. Laumond and M. Overmars} } @conference {BCMP96, title = {Dexterity through Rolling: Towards Manipulation of Unknown Objects}, booktitle = {Proc. Third Int. Symp. on Methods and Models for Automation and Robotics}, year = {1996}, address = {Miedzyzdroje, Poland}, keywords = {Nonlinear Control Systems, Robot Hands}, author = {A. Bicchi and Y. Chitour and A. Marigo and D Prattichizzo} } @inbook {CMPB96, title = {Reachability of Rolling Parts}, booktitle = {Advances in Robotics: The ERNET Perspective}, year = {1996}, pages = {51-60}, publisher = {World Scientific Publisher Corp.}, organization = {World Scientific Publisher Corp.}, address = {Singapore}, keywords = {Haptics, Robotics}, author = {Y. Chitour and A. Marigo and D Prattichizzo and A. Bicchi}, editor = {C. Bonivento and C. Melchiorri and H. Tolle} }