2020 |
Rodríguez-Seda, E J; Diaz-Mercado, Y Decentralized Persistent Area Coverage Control with Loss of Awareness Inproceedings 2020 IEEE Conference on Control Technology and Applications (CCTA), pp. 528-535, 2020. Abstract | Links | BibTeX | Tags: @inproceedings{9206267b, title = {Decentralized Persistent Area Coverage Control with Loss of Awareness}, author = {E J Rodríguez-Seda and Y Diaz-Mercado}, doi = {10.1109/CCTA41146.2020.9206267}, year = {2020}, date = {2020-08-01}, booktitle = {2020 IEEE Conference on Control Technology and Applications (CCTA)}, pages = {528-535}, abstract = {This paper presents a decentralized, hybrid control approach for persistent area coverage control applications. The hybrid cooperative control framework builds on the concepts of cellular automata and awareness-based model to guarantee safe coverage of a large-scale domain by a network of mobile wireless sensors with bounded input disturbances and limited communication and sensing ranges. The framework only requires communication among nearby agents at discrete intervals of time, reducing the communication among agents. Results are validated through simulation and experiments with a team of ten differential-drive mobile robots.}, keywords = {}, pubstate = {published}, tppubtype = {inproceedings} } This paper presents a decentralized, hybrid control approach for persistent area coverage control applications. The hybrid cooperative control framework builds on the concepts of cellular automata and awareness-based model to guarantee safe coverage of a large-scale domain by a network of mobile wireless sensors with bounded input disturbances and limited communication and sensing ranges. The framework only requires communication among nearby agents at discrete intervals of time, reducing the communication among agents. Results are validated through simulation and experiments with a team of ten differential-drive mobile robots. |
Rivera-Ortiz, P; Diaz-Mercado, Y; Kobilarov, M Multi-Player Pursuer Coordination for Nonlinear Reach-Avoid Games in Arbitrary Dimensions via Coverage Control Inproceedings 2020 American Control Conference (ACC), pp. 2747-2753, 2020, ISSN: 2378-5861. Abstract | Links | BibTeX | Tags: @inproceedings{9147975, title = {Multi-Player Pursuer Coordination for Nonlinear Reach-Avoid Games in Arbitrary Dimensions via Coverage Control}, author = {P Rivera-Ortiz and Y Diaz-Mercado and M Kobilarov}, doi = {10.23919/ACC45564.2020.9147975}, issn = {2378-5861}, year = {2020}, date = {2020-07-01}, booktitle = {2020 American Control Conference (ACC)}, pages = {2747-2753}, abstract = {The concept of reach-avoid (RA) games via coverage control is generalized to players with nonlinear dynamics and in arbitrary dimensions. Pursuer coordination on defense surfaces is formally shown sufficient as a cooperative strategy for RA games in any dimensions. Nonlinear control synthesis strategies with convergence guarantees are provided to enforce coverage on said surfaces. The effectiveness of two coverage control formulations is verified through simulation.}, keywords = {}, pubstate = {published}, tppubtype = {inproceedings} } The concept of reach-avoid (RA) games via coverage control is generalized to players with nonlinear dynamics and in arbitrary dimensions. Pursuer coordination on defense surfaces is formally shown sufficient as a cooperative strategy for RA games in any dimensions. Nonlinear control synthesis strategies with convergence guarantees are provided to enforce coverage on said surfaces. The effectiveness of two coverage control formulations is verified through simulation. |
Xu, X; Diaz-Mercado, Y Multi-Agent Control Using Coverage Over Time-Varying Domains Inproceedings 2020 American Control Conference (ACC), pp. 2030-2035, 2020, ISSN: 2378-5861. Abstract | Links | BibTeX | Tags: @inproceedings{9147326, title = {Multi-Agent Control Using Coverage Over Time-Varying Domains}, author = {X Xu and Y Diaz-Mercado}, doi = {10.23919/ACC45564.2020.9147326}, issn = {2378-5861}, year = {2020}, date = {2020-07-01}, booktitle = {2020 American Control Conference (ACC)}, pages = {2030-2035}, abstract = {Multi-agent coverage control is used as a mechanism to influence the behavior of a group of robots by introducing time-varying domains. The coverage optimization problem is modified to adopt time-varying domains, and the proposed control law possesses an exponential convergence characteristic. Complex multi-agent control is simplified by specifying the desired distribution and behavior of the robot team as a whole. In the proposed approach, design of the inputs to the multi-agent system, i.e., time-varying density and time-varying domain, are agnostic to the size of the system. Analytic expressions of surface and line integrals present in the control law are obtained under uniform density. The scalability of the proposed control strategy is analyzed and verified via numerical simulation. Experiments on real robots are used to test the proposed control law.}, keywords = {}, pubstate = {published}, tppubtype = {inproceedings} } Multi-agent coverage control is used as a mechanism to influence the behavior of a group of robots by introducing time-varying domains. The coverage optimization problem is modified to adopt time-varying domains, and the proposed control law possesses an exponential convergence characteristic. Complex multi-agent control is simplified by specifying the desired distribution and behavior of the robot team as a whole. In the proposed approach, design of the inputs to the multi-agent system, i.e., time-varying density and time-varying domain, are agnostic to the size of the system. Analytic expressions of surface and line integrals present in the control law are obtained under uniform density. The scalability of the proposed control strategy is analyzed and verified via numerical simulation. Experiments on real robots are used to test the proposed control law. |
Xu, X; Diaz-Mercado, Y Multi-Robot Control Using Coverage Over Time-Varying Non-Convex Domains Inproceedings 2020 IEEE International Conference on Robotics and Automation (ICRA), pp. 4536-4542, 2020, ISSN: 2577-087X. Abstract | Links | BibTeX | Tags: @inproceedings{9196630, title = {Multi-Robot Control Using Coverage Over Time-Varying Non-Convex Domains}, author = {X Xu and Y Diaz-Mercado}, doi = {10.1109/ICRA40945.2020.9196630}, issn = {2577-087X}, year = {2020}, date = {2020-05-01}, booktitle = {2020 IEEE International Conference on Robotics and Automation (ICRA)}, pages = {4536-4542}, abstract = {This paper addresses the problem of a domain becoming non-convex while using coverage control of a multirobot system over time-varying domains. When the domain moves around in the workspace, its motion and the presence of obstacles might cause it to deform into some non-convex shape, and the robot team should act in a coordinating manner to maintain coverage. The proposed solution is based on a framework for constructing a diffeomorphism to transform a non-convex coverage problem into a convex one. A control law is developed to capture the effects of time variations (e.g., from a time-varying density, time-varying convex hull of the domain and time-varying diffeomorphism) in the system. Analytic expressions of each term in the control law are found for uniform density case. A simulation and robotic implementation are used to validate the proposed algorithm.}, keywords = {}, pubstate = {published}, tppubtype = {inproceedings} } This paper addresses the problem of a domain becoming non-convex while using coverage control of a multirobot system over time-varying domains. When the domain moves around in the workspace, its motion and the presence of obstacles might cause it to deform into some non-convex shape, and the robot team should act in a coordinating manner to maintain coverage. The proposed solution is based on a framework for constructing a diffeomorphism to transform a non-convex coverage problem into a convex one. A control law is developed to capture the effects of time variations (e.g., from a time-varying density, time-varying convex hull of the domain and time-varying diffeomorphism) in the system. Analytic expressions of each term in the control law are found for uniform density case. A simulation and robotic implementation are used to validate the proposed algorithm. |
Mair, L O; Liu, X; Dandamudi, B; Jain, K; Chowdhury, S; Weed, J; Diaz-Mercado, Y; Weinberg, I N; Krieger, A MagnetoSuture: Tetherless Manipulation of Suture Needles Journal Article IEEE Transactions on Medical Robotics and Bionics, 2 (2), pp. 206-215, 2020, ISSN: 2576-3202. Abstract | Links | BibTeX | Tags: @article{9070191, title = {MagnetoSuture: Tetherless Manipulation of Suture Needles}, author = {L O Mair and X Liu and B Dandamudi and K Jain and S Chowdhury and J Weed and Y Diaz-Mercado and I N Weinberg and A Krieger}, doi = {10.1109/TMRB.2020.2988462}, issn = {2576-3202}, year = {2020}, date = {2020-05-01}, journal = {IEEE Transactions on Medical Robotics and Bionics}, volume = {2}, number = {2}, pages = {206-215}, abstract = {This paper demonstrates the feasibility of ligation and tissue penetration for surgical suturing tasks using magnetically actuated suture needles. Manipulation of suture needles in minimally invasive surgery involves using articulated manual/robotic tools for needle steering and controlling needle-tissue or thread-tissue interactions. The large footprints of conventional articulated surgical tools significantly increase surgical invasiveness, potentially leading to longer recovery times, tissue damage, scarring, or associated infections. Aiming to address these issues, we investigate the feasibility of using magnetic fields to tetherlessly steer suture needles. The primary challenge of such a concept is to provide sufficient force for tissue penetration and ligation. In this work, we demonstrate proof-of-concept capabilities using the MagnetoSuture system, performing tissue penetration and ligation tasks using ex vivo tissues, customized NdFeB suture needles with attached threads, and remote-controlled magnetic fields. To evaluate the system performance, we conducted experiments demonstrating tetherless recreation of a purse string suture pattern, ligation of an excised segment of a rat intestine, and penetration of rat intestines.}, keywords = {}, pubstate = {published}, tppubtype = {article} } This paper demonstrates the feasibility of ligation and tissue penetration for surgical suturing tasks using magnetically actuated suture needles. Manipulation of suture needles in minimally invasive surgery involves using articulated manual/robotic tools for needle steering and controlling needle-tissue or thread-tissue interactions. The large footprints of conventional articulated surgical tools significantly increase surgical invasiveness, potentially leading to longer recovery times, tissue damage, scarring, or associated infections. Aiming to address these issues, we investigate the feasibility of using magnetic fields to tetherlessly steer suture needles. The primary challenge of such a concept is to provide sufficient force for tissue penetration and ligation. In this work, we demonstrate proof-of-concept capabilities using the MagnetoSuture system, performing tissue penetration and ligation tasks using ex vivo tissues, customized NdFeB suture needles with attached threads, and remote-controlled magnetic fields. To evaluate the system performance, we conducted experiments demonstrating tetherless recreation of a purse string suture pattern, ligation of an excised segment of a rat intestine, and penetration of rat intestines. |
Davydov, A; Diaz-Mercado, Y Sparsity Structure and Optimality of Multi-Robot Coverage Control Journal Article IEEE Control Systems Letters, 4 (1), pp. 13-18, 2020, ISSN: 2475-1456. Abstract | Links | BibTeX | Tags: @article{8732381, title = {Sparsity Structure and Optimality of Multi-Robot Coverage Control}, author = {A Davydov and Y Diaz-Mercado}, doi = {10.1109/LCSYS.2019.2921513}, issn = {2475-1456}, year = {2020}, date = {2020-01-01}, journal = {IEEE Control Systems Letters}, volume = {4}, number = {1}, pages = {13-18}, abstract = {The structure of the Hessian matrix obtained from the locational cost used in coverage control is investigated to provide conditions on the optimality of coverage control solutions. It is shown that in arbitrary dimensions, the Hessian matrix is composed of the direct sum of three well-structured matrices: 1) a diagonal matrix; 2) a block-diagonal matrix; and 3) block-Laplacian matrix. This structure is exploited in the one-dimensional case, where an alternative proof of a sufficient condition for optimality is given. A relationship is shown between centroidal Voronoi tessellation (CVT) configurations and the sufficient condition for optimality via the spatial derivative of the density provided in the cost. A decomposition is used to provide insight into the terms which most affect optimality. Several classes of density functions are analyzed under the proposed condition. Experiments on a multi-robot team are shown to verify theoretical results.}, keywords = {}, pubstate = {published}, tppubtype = {article} } The structure of the Hessian matrix obtained from the locational cost used in coverage control is investigated to provide conditions on the optimality of coverage control solutions. It is shown that in arbitrary dimensions, the Hessian matrix is composed of the direct sum of three well-structured matrices: 1) a diagonal matrix; 2) a block-diagonal matrix; and 3) block-Laplacian matrix. This structure is exploited in the one-dimensional case, where an alternative proof of a sufficient condition for optimality is given. A relationship is shown between centroidal Voronoi tessellation (CVT) configurations and the sufficient condition for optimality via the spatial derivative of the density provided in the cost. A decomposition is used to provide insight into the terms which most affect optimality. Several classes of density functions are analyzed under the proposed condition. Experiments on a multi-robot team are shown to verify theoretical results. |
2018 |
Rivera-Ortiz, P; Diaz-Mercado, Y On Guaranteed Capture in Multi-Player Reach-Avoid Games via Coverage Control Journal Article IEEE Control Systems Letters, 2 (4), pp. 767-772, 2018, ISSN: 2475-1456. Abstract | Links | BibTeX | Tags: @article{8391720, title = {On Guaranteed Capture in Multi-Player Reach-Avoid Games via Coverage Control}, author = {P Rivera-Ortiz and Y Diaz-Mercado}, doi = {10.1109/LCSYS.2018.2849582}, issn = {2475-1456}, year = {2018}, date = {2018-10-01}, journal = {IEEE Control Systems Letters}, volume = {2}, number = {4}, pages = {767-772}, abstract = {The main objective of this letter is to provide a control solution for guaranteed capture in multi-player reach-avoid (RA) games in the presence of different vehicle kinematic constraints. To that end, this letter seeks to convert the RA problem from the traditional game theoretic framework to a coverage control problem, which makes it more suitable to find solutions in the multi-agent context. Within this framework, a distributed coverage control law is provided, as well as formal capture guarantees that are verified via simulation..}, keywords = {}, pubstate = {published}, tppubtype = {article} } The main objective of this letter is to provide a control solution for guaranteed capture in multi-player reach-avoid (RA) games in the presence of different vehicle kinematic constraints. To that end, this letter seeks to convert the RA problem from the traditional game theoretic framework to a coverage control problem, which makes it more suitable to find solutions in the multi-agent context. Within this framework, a distributed coverage control law is provided, as well as formal capture guarantees that are verified via simulation.. |
Santos, M; Diaz-Mercado, Y; Egerstedt, M Coverage Control for Multirobot Teams With Heterogeneous Sensing Capabilities Journal Article IEEE Robotics and Automation Letters, 3 (2), pp. 919-925, 2018, ISSN: 2377-3766. Abstract | Links | BibTeX | Tags: @article{8255576, title = {Coverage Control for Multirobot Teams With Heterogeneous Sensing Capabilities}, author = {M Santos and Y Diaz-Mercado and M Egerstedt}, doi = {10.1109/LRA.2018.2792698}, issn = {2377-3766}, year = {2018}, date = {2018-04-01}, journal = {IEEE Robotics and Automation Letters}, volume = {3}, number = {2}, pages = {919-925}, abstract = {This letter investigates how mobile agents with qualitatively different sensing capabilities should be organized in order to effectively cover an area. In particular, by encoding the different capabilities as different density functions in the locational cost, the result is a heterogeneous coverage control problem where the different density functions serve as a way of both abstracting and encapsulating different sensing capabilities. However, different density functions imply that mass is not conserved as the agents move and, as a result, the normal cancellations that occur across boundaries between regions of dominance in the homogeneous case no longer take place when computing the gradient of the locational cost. As a result, new terms are needed if the robots are to execute a descent flow in order to minimize the locational cost, and we show how these additional terms can be formulated as boundary-disagreement terms that are added to the standard Lloyd’s algorithm. The results are implemented on real robotic platforms for a number of different use cases.}, keywords = {}, pubstate = {published}, tppubtype = {article} } This letter investigates how mobile agents with qualitatively different sensing capabilities should be organized in order to effectively cover an area. In particular, by encoding the different capabilities as different density functions in the locational cost, the result is a heterogeneous coverage control problem where the different density functions serve as a way of both abstracting and encapsulating different sensing capabilities. However, different density functions imply that mass is not conserved as the agents move and, as a result, the normal cancellations that occur across boundaries between regions of dominance in the homogeneous case no longer take place when computing the gradient of the locational cost. As a result, new terms are needed if the robots are to execute a descent flow in order to minimize the locational cost, and we show how these additional terms can be formulated as boundary-disagreement terms that are added to the standard Lloyd’s algorithm. The results are implemented on real robotic platforms for a number of different use cases. |
2017 |
Diaz-Mercado, Y; Egerstedt, M Multirobot Mixing via Braid Groups Journal Article IEEE Transactions on Robotics, 33 (6), pp. 1375-1385, 2017, ISSN: 1941-0468. Abstract | Links | BibTeX | Tags: @article{8022886, title = {Multirobot Mixing via Braid Groups}, author = {Y Diaz-Mercado and M Egerstedt}, doi = {10.1109/TRO.2017.2737636}, issn = {1941-0468}, year = {2017}, date = {2017-12-01}, journal = {IEEE Transactions on Robotics}, volume = {33}, number = {6}, pages = {1375-1385}, abstract = {This paper presents a framework for multirobot motion planning that characterizes pairwise interactions between agents, e.g., crossing paths while en route to a destination. Mixing is identified as the number of pairwise crossings exhibited by the robot motion. Mixing patterns specified through elements of the braid group provide sufficient level of abstraction to describe interactions without concern for the geometry of the motion. Controllers are constructed explicitly reasoning about the spatial collocation of robots to execute mixing patterns, achieving rich motion in a shared space, e.g., to exchange inter-robot information. We do not focus on achieving a particular pattern, but rather on the problem of being able to execute a whole class of them (e.g., all patterns with at most $M$ pairwise interactions). The result is a hybrid system driven by symbolic inputs that are mapped onto paths, realizing desired mixing levels. Controllers derived from optimal control provide theoretical bounds on the achievable amount of mixing, satisfaction of spatio-temporal constraints, and collision-free trajectories. Designs are carried to implementation on real robot platforms.}, keywords = {}, pubstate = {published}, tppubtype = {article} } This paper presents a framework for multirobot motion planning that characterizes pairwise interactions between agents, e.g., crossing paths while en route to a destination. Mixing is identified as the number of pairwise crossings exhibited by the robot motion. Mixing patterns specified through elements of the braid group provide sufficient level of abstraction to describe interactions without concern for the geometry of the motion. Controllers are constructed explicitly reasoning about the spatial collocation of robots to execute mixing patterns, achieving rich motion in a shared space, e.g., to exchange inter-robot information. We do not focus on achieving a particular pattern, but rather on the problem of being able to execute a whole class of them (e.g., all patterns with at most $M$ pairwise interactions). The result is a hybrid system driven by symbolic inputs that are mapped onto paths, realizing desired mixing levels. Controllers derived from optimal control provide theoretical bounds on the achievable amount of mixing, satisfaction of spatio-temporal constraints, and collision-free trajectories. Designs are carried to implementation on real robot platforms. |
2015 |
Lee, S G; Diaz-Mercado, Y; Egerstedt, M Multirobot Control Using Time-Varying Density Functions Journal Article IEEE Transactions on Robotics, 31 (2), pp. 489-493, 2015, ISSN: 1941-0468. Abstract | Links | BibTeX | Tags: @article{7050337, title = {Multirobot Control Using Time-Varying Density Functions}, author = {S G Lee and Y Diaz-Mercado and M Egerstedt}, doi = {10.1109/TRO.2015.2397771}, issn = {1941-0468}, year = {2015}, date = {2015-04-01}, journal = {IEEE Transactions on Robotics}, volume = {31}, number = {2}, pages = {489-493}, abstract = {An approach is presented for influencing teams of robots by means of time-varying density functions, representing rough references for where the robots should be located. A continuous-time coverage algorithm is proposed and distributed approximations are given whereby the robots only need to access information from adjacent robots. Robotic experiments show that the proposed algorithms work in practice, as well as in theory.}, keywords = {}, pubstate = {published}, tppubtype = {article} } An approach is presented for influencing teams of robots by means of time-varying density functions, representing rough references for where the robots should be located. A continuous-time coverage algorithm is proposed and distributed approximations are given whereby the robots only need to access information from adjacent robots. Robotic experiments show that the proposed algorithms work in practice, as well as in theory. |
2014 |
Diaz-Mercado, Y; Egerstedt, M Multi-robot mixing of nonholonomic mobile robots Inproceedings 2014 IEEE Conference on Control Applications (CCA), pp. 524-529, 2014, ISSN: 1085-1992. Abstract | Links | BibTeX | Tags: collision avoidance;mobile robots;multi-robot systems;multirobot mixing levels;nonholonomic mobile robots;nonholonomic unicycle robot team;collision-free team;mixing bounds;braid controller;Generators;Trajectory;Safety;Geometry;Upper bound;Mobile robots @inproceedings{6981399, title = {Multi-robot mixing of nonholonomic mobile robots}, author = {Y Diaz-Mercado and M Egerstedt}, doi = {10.1109/CCA.2014.6981399}, issn = {1085-1992}, year = {2014}, date = {2014-10-01}, booktitle = {2014 IEEE Conference on Control Applications (CCA)}, pages = {524-529}, abstract = {In this paper we investigate how much “mixing” one can impose on a team of nonholonomic unicycle robots. This notion is encoded through braids, and a controller is proposed that executes the braids while ensuring that the team is collision-free. Mixing bounds, the bounds on the amount of mixing possible under this braid controller, are also provided. Results are validated when they are implemented on a team of mobile robots which are cooperatively achieving desired mixing levels.}, keywords = {collision avoidance;mobile robots;multi-robot systems;multirobot mixing levels;nonholonomic mobile robots;nonholonomic unicycle robot team;collision-free team;mixing bounds;braid controller;Generators;Trajectory;Safety;Geometry;Upper bound;Mobile robots}, pubstate = {published}, tppubtype = {inproceedings} } In this paper we investigate how much “mixing” one can impose on a team of nonholonomic unicycle robots. This notion is encoded through braids, and a controller is proposed that executes the braids while ensuring that the team is collision-free. Mixing bounds, the bounds on the amount of mixing possible under this braid controller, are also provided. Results are validated when they are implemented on a team of mobile robots which are cooperatively achieving desired mixing levels. |