No subject area
Network Synthesis for Dynamical System Stabilization (with Miroslav Pajic, Shreyas Sundaram, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
We present our recent results in the area of distributed control over wireless networks. In...
Network Synthesis for Dynamical System Stabilization (with Miroslav Pajic, Shreyas Sundaram, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
We present our recent results in the area of distributed control over wireless networks. In...
Network Synthesis for Dynamical System Stabilization (with Miroslav Pajic, Shreyas Sundaram, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
We present our recent results in the area of distributed control over wireless networks. In...
On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem (with Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
Peak power consumption of buildings in large facilities like hospitals and universities becomes a big...
On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem (with Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
Peak power consumption of buildings in large facilities like hospitals and universities becomes a big...
On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem (with Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
Peak power consumption of buildings in large facilities like hospitals and universities becomes a big...
Green Scheduling: Scheduling of Control Systems for Peak Power Reduction (with Truong Nghiem, Madhur Behl, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
Heating, cooling and air quality control systems within buildings and datacenters operate independently of each...
Green Scheduling: Scheduling of Control Systems for Peak Power Reduction (with Truong Nghiem, Madhur Behl, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
Heating, cooling and air quality control systems within buildings and datacenters operate independently of each...
Green Scheduling: Scheduling of Control Systems for Peak Power Reduction (with Truong Nghiem, Madhur Behl, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
Heating, cooling and air quality control systems within buildings and datacenters operate independently of each...
A Simple Distributed Method for Control over Wireless Networks (with Miroslav Pajic, Shreyas Sundaram, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
We present a distributed scheme used for control over wireless networks. In our previous work,...
A Simple Distributed Method for Control over Wireless Networks (with Miroslav Pajic, Shreyas Sundaram, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
We present a distributed scheme used for control over wireless networks. In our previous work,...
A Simple Distributed Method for Control over Wireless Networks (with Miroslav Pajic, Shreyas Sundaram, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
We present a distributed scheme used for control over wireless networks. In our previous work,...
Reputation-based Networked Control with Data-Corrupting Channels (with Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, and Insup Lee), Departmental Papers (CIS) (2011)
We examine the problem of reliable networked control when the communication channel between the controller...
Reputation-based Networked Control with Data-Corrupting Channels (with Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, and Insup Lee), Departmental Papers (CIS) (2011)
We examine the problem of reliable networked control when the communication channel between the controller...
Reputation-based Networked Control with Data-Corrupting Channels (with Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, and Insup Lee), Departmental Papers (CIS) (2011)
We examine the problem of reliable networked control when the communication channel between the controller...
The Wireless Control Network: A New Approach for Control over Networks (with Miroslav Pajic, Shreyas Sundaram, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
We present a method to stabilize a plant with a network of resource constrained wireless...
The Wireless Control Network: A New Approach for Control over Networks (with Miroslav Pajic, Shreyas Sundaram, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
We present a method to stabilize a plant with a network of resource constrained wireless...
The Wireless Control Network: A New Approach for Control over Networks (with Miroslav Pajic, Shreyas Sundaram, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
We present a method to stabilize a plant with a network of resource constrained wireless...
Topological Conditions for Wireless Control Networks (with Miroslav Pajic, Shreyas Sundaram, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
We study the problem of stabilizing a linear system over a wireless control network. We...
Topological Conditions for Wireless Control Networks (with Miroslav Pajic, Shreyas Sundaram, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
We study the problem of stabilizing a linear system over a wireless control network. We...
Topological Conditions for Wireless Control Networks (with Miroslav Pajic, Shreyas Sundaram, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2011)
We study the problem of stabilizing a linear system over a wireless control network. We...
The Wireless Control Network: Monitoring for Malicious Behavior (with Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2010)
We consider the problem of stabilizing a plant with a network of resource constrained wireless...
The Wireless Control Network: Monitoring for Malicious Behavior (with Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2010)
We consider the problem of stabilizing a plant with a network of resource constrained wireless...
The Wireless Control Network: Monitoring for Malicious Behavior (with Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2010)
We consider the problem of stabilizing a plant with a network of resource constrained wireless...
The Wireless Control Network: Synthesis and Robustness (with Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2010)
We consider the problem of stabilizing a plant with a network of resource constrained wireless...
The Wireless Control Network: Synthesis and Robustness (with Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2010)
We consider the problem of stabilizing a plant with a network of resource constrained wireless...
The Wireless Control Network: Synthesis and Robustness (with Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, and Rahul Mangharam), Real-Time and Embedded Systems Lab (mLAB) (2010)
We consider the problem of stabilizing a plant with a network of resource constrained wireless...
Joint Metering and Conflict Resolution in Air Traffic Control (with Jerome Le Ny), Technical Reports (ESE) (2010)
This paper describes a novel optimization-based approach to conflict resolution in air traffic control, based...
Joint Metering and Conflict Resolution in Air Traffic Control (with Jerome Le Ny), Technical Reports (ESE) (2010)
This paper describes a novel optimization-based approach to conflict resolution in air traffic control, based...
Joint Metering and Conflict Resolution in Air Traffic Control (with Jerome Le Ny), Technical Reports (ESE) (2010)
This paper describes a novel optimization-based approach to conflict resolution in air traffic control, based...
Adaptive Algorithms for Coverage Control and Space Partitioning in Mobile Robotic Networks (with Jerome Le Ny), Technical Reports (ESE) (2010)
We consider deployment problems where a mobile robotic network must optimize its configuration in a...
Adaptive Algorithms for Coverage Control and Space Partitioning in Mobile Robotic Networks (with Jerome Le Ny), Technical Reports (ESE) (2010)
We consider deployment problems where a mobile robotic network must optimize its configuration in a...
Adaptive Algorithms for Coverage Control and Space Partitioning in Mobile Robotic Networks (with Jerome Le Ny), Technical Reports (ESE) (2010)
We consider deployment problems where a mobile robotic network must optimize its configuration in a...
Geometric Programming and Mechanism Design for Air Traffic Conflict Resolution (with Jerome Le Ny), Departmental Papers (ESE) (2010)
We develop certain extensions of optimization based conflict resolution methods in air traffic control. The...
Geometric Programming and Mechanism Design for Air Traffic Conflict Resolution (with Jerome Le Ny), Departmental Papers (ESE) (2010)
We develop certain extensions of optimization based conflict resolution methods in air traffic control. The...
Geometric Programming and Mechanism Design for Air Traffic Conflict Resolution (with Jerome Le Ny), Departmental Papers (ESE) (2010)
We develop certain extensions of optimization based conflict resolution methods in air traffic control. The...
Adaptive Robot Deployment Algorithms (with Jerome LE NY), Technical Reports (ESE) (2010)
In robot deployment problems, the fundamental issue is to optimize a steady state performance measure...
Adaptive Robot Deployment Algorithms (with Jerome LE NY), Technical Reports (ESE) (2010)
In robot deployment problems, the fundamental issue is to optimize a steady state performance measure...
Adaptive Robot Deployment Algorithms (with Jerome LE NY), Technical Reports (ESE) (2010)
In robot deployment problems, the fundamental issue is to optimize a steady state performance measure...
Single Cell Manipulation using Ferromagnetic Composite Microtransporters (with Mahmut Selman Sakar, Edward B. Steager, Dal Hyung Kim, Min Jun Kim, and Vijay Kumar), Lab Papers (GRASP) (2010)
For biomedical applications, such as single cell manipulation, it is important to fabricate microstructures that...
Single Cell Manipulation using Ferromagnetic Composite Microtransporters (with Mahmut Selman Sakar, Edward B. Steager, Dal Hyung Kim, Min Jun Kim, and Vijay Kumar), Lab Papers (GRASP) (2010)
For biomedical applications, such as single cell manipulation, it is important to fabricate microstructures that...
Single Cell Manipulation using Ferromagnetic Composite Microtransporters (with Mahmut Selman Sakar, Edward B. Steager, Dal Hyung Kim, Min Jun Kim, and Vijay Kumar), Lab Papers (GRASP) (2010)
For biomedical applications, such as single cell manipulation, it is important to fabricate microstructures that...
Approximations of Stochastic Hybrid Systems (with A Agung Julius), Departmental Papers (ESE) (2009)
This paper develops a notion of approximation for a class of stochastic hybrid systems that...
Approximations of Stochastic Hybrid Systems (with A Agung Julius), Departmental Papers (ESE) (2009)
This paper develops a notion of approximation for a class of stochastic hybrid systems that...
Approximations of Stochastic Hybrid Systems (with A Agung Julius), Departmental Papers (ESE) (2009)
This paper develops a notion of approximation for a class of stochastic hybrid systems that...
Genetic network identification using convex programming (with A Julius, Michael Zavlanos, and S Boyd), Departmental Papers (ESE) (2009)
Genetic network identification using convex programming (with A Julius, Michael Zavlanos, and S Boyd), Departmental Papers (ESE) (2009)
Genetic network identification using convex programming (with A Julius, Michael Zavlanos, and S Boyd), Departmental Papers (ESE) (2009)
Harnessing bacterial power in microscale actuation (with A. Agung Julius, M. Selman Sakar, Edward Steager, U Kei Cheang, MinJun Kim, and Vijay Kumar), Lab Papers (GRASP) (2009)
This paper presents a systematic analysis of the motion of microscale structures actuated by flagellated...
Harnessing bacterial power in microscale actuation (with A. Agung Julius, M. Selman Sakar, Edward Steager, U Kei Cheang, MinJun Kim, and Vijay Kumar), Lab Papers (GRASP) (2009)
This paper presents a systematic analysis of the motion of microscale structures actuated by flagellated...
Harnessing bacterial power in microscale actuation (with A. Agung Julius, M. Selman Sakar, Edward Steager, U Kei Cheang, MinJun Kim, and Vijay Kumar), Lab Papers (GRASP) (2009)
This paper presents a systematic analysis of the motion of microscale structures actuated by flagellated...
Multi-vehicle path planning in dynamically changing environments (with Ali Ahmadzadeh, Nader Motee, and Ali Jadbabaie), Lab Papers (GRASP) (2009)
In this paper, we propose a path planning method for nonholonomic multi-vehicle system in presence...
Multi-vehicle path planning in dynamically changing environments (with Ali Ahmadzadeh, Nader Motee, and Ali Jadbabaie), Lab Papers (GRASP) (2009)
In this paper, we propose a path planning method for nonholonomic multi-vehicle system in presence...
Multi-vehicle path planning in dynamically changing environments (with Ali Ahmadzadeh, Nader Motee, and Ali Jadbabaie), Lab Papers (GRASP) (2009)
In this paper, we propose a path planning method for nonholonomic multi-vehicle system in presence...
Trajectory Based Verification Using Local Finite-Time Invariance (with A. Agung Julius), Lab Papers (GRASP) (2009)
In this paper we propose a trajectory based reachability analysis by using local finite-time invariance...
Trajectory Based Verification Using Local Finite-Time Invariance (with A. Agung Julius), Lab Papers (GRASP) (2009)
In this paper we propose a trajectory based reachability analysis by using local finite-time invariance...
Trajectory Based Verification Using Local Finite-Time Invariance (with A. Agung Julius), Lab Papers (GRASP) (2009)
In this paper we propose a trajectory based reachability analysis by using local finite-time invariance...
Modeling and Analysis of Multi-hop Control Networks (with Alur Rajeev, Alessandro D'Innocenzo, Karl H. Johansson, and Gera Weiss), Database Research Group (CIS) (2009)
We propose a mathematical framework, inspired by the Wireless HART specification, for modeling and analyzing...
Modeling and Analysis of Multi-hop Control Networks (with Alur Rajeev, Alessandro D'Innocenzo, Karl H. Johansson, and Gera Weiss), Database Research Group (CIS) (2009)
We propose a mathematical framework, inspired by the Wireless HART specification, for modeling and analyzing...
Modeling and Analysis of Multi-hop Control Networks (with Alur Rajeev, Alessandro D'Innocenzo, Karl H. Johansson, and Gera Weiss), Database Research Group (CIS) (2009)
We propose a mathematical framework, inspired by the Wireless HART specification, for modeling and analyzing...
Maintaining Connectivity in Mobile Robot Networks (with Nathan Michael, Michael M. Zavlanos, and Vijay Kumar), Lab Papers (GRASP) (2009)
While there has been significant progress in recent years in the study of estimation and...
Maintaining Connectivity in Mobile Robot Networks (with Nathan Michael, Michael M. Zavlanos, and Vijay Kumar), Lab Papers (GRASP) (2009)
While there has been significant progress in recent years in the study of estimation and...
Maintaining Connectivity in Mobile Robot Networks (with Nathan Michael, Michael M. Zavlanos, and Vijay Kumar), Lab Papers (GRASP) (2009)
While there has been significant progress in recent years in the study of estimation and...
Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli (with Agung Julius, Ádám Halász, M Selman Sakar, Harvey Rubin, and Vijay Kumar), Departmental Papers (MEAM) (2009)
In this paper, we present a comprehensive framework for stochastic modeling, model abstraction, and controller...
Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli (with Agung Julius, Ádám Halász, M Selman Sakar, Harvey Rubin, and Vijay Kumar), Departmental Papers (MEAM) (2009)
In this paper, we present a comprehensive framework for stochastic modeling, model abstraction, and controller...
Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli (with Agung Julius, Ádám Halász, M Selman Sakar, Harvey Rubin, and Vijay Kumar), Departmental Papers (MEAM) (2009)
In this paper, we present a comprehensive framework for stochastic modeling, model abstraction, and controller...
Distributed Connectivity Control of Mobile Networks (with Michael M. Zavlanos), Departmental Papers (ESE) (2008)
Control of mobile networks raises fundamental and novel problems in controlling the structure of the...
Distributed Connectivity Control of Mobile Networks (with Michael M. Zavlanos), Departmental Papers (ESE) (2008)
Control of mobile networks raises fundamental and novel problems in controlling the structure of the...
Distributed Connectivity Control of Mobile Networks (with Michael M. Zavlanos), Departmental Papers (ESE) (2008)
Control of mobile networks raises fundamental and novel problems in controlling the structure of the...
A Distributed Auction Algorithm for the Assignment Problem (with Michael M. Zavlanos and Leonid Spesivtsev), Lab Papers (GRASP) (2008)
The assignment problem constitutes one of the fundamental problems in the context of linear programming....
A Distributed Auction Algorithm for the Assignment Problem (with Michael M. Zavlanos and Leonid Spesivtsev), Lab Papers (GRASP) (2008)
The assignment problem constitutes one of the fundamental problems in the context of linear programming....
A Distributed Auction Algorithm for the Assignment Problem (with Michael M. Zavlanos and Leonid Spesivtsev), Lab Papers (GRASP) (2008)
The assignment problem constitutes one of the fundamental problems in the context of linear programming....
Metabolic Networks Analysis using Convex Optimization (with A. Agung Julius and Marcin Imielinski), Lab Papers (GRASP) (2008)
Metabolic networks map the biochemical reactions in a living cell to the flow of various...
Metabolic Networks Analysis using Convex Optimization (with A. Agung Julius and Marcin Imielinski), Lab Papers (GRASP) (2008)
Metabolic networks map the biochemical reactions in a living cell to the flow of various...
Metabolic Networks Analysis using Convex Optimization (with A. Agung Julius and Marcin Imielinski), Lab Papers (GRASP) (2008)
Metabolic networks map the biochemical reactions in a living cell to the flow of various...
Probabilistic Testing for Stochastic Hybrid Systems (with A. Agung Julius), Lab Papers (GRASP) (2008)
In this paper we propose a testing based method for safety/ reachability analysis of stochastic...
Probabilistic Testing for Stochastic Hybrid Systems (with A. Agung Julius), Lab Papers (GRASP) (2008)
In this paper we propose a testing based method for safety/ reachability analysis of stochastic...
Probabilistic Testing for Stochastic Hybrid Systems (with A. Agung Julius), Lab Papers (GRASP) (2008)
In this paper we propose a testing based method for safety/ reachability analysis of stochastic...
Automatically synthesizing a planning and control subsystem for the DARPA urban challenge (with Hadas Kress-Gazit), Departmental Papers (ESE) (2008)
To incorporate robots into society, they must be able to perform complex tasks while interacting...
Automatically synthesizing a planning and control subsystem for the DARPA urban challenge (with Hadas Kress-Gazit), Departmental Papers (ESE) (2008)
To incorporate robots into society, they must be able to perform complex tasks while interacting...
Automatically synthesizing a planning and control subsystem for the DARPA urban challenge (with Hadas Kress-Gazit), Departmental Papers (ESE) (2008)
To incorporate robots into society, they must be able to perform complex tasks while interacting...
Recycling controllers (with Hadas Kress-Gazit, Nora Ayanian, and Vijay Kumar), Departmental Papers (ESE) (2008)
The problem of designing control schemes for teams of robots to satisfy complex high-level tasks...
Recycling controllers (with Hadas Kress-Gazit, Nora Ayanian, and Vijay Kumar), Departmental Papers (ESE) (2008)
The problem of designing control schemes for teams of robots to satisfy complex high-level tasks...
Recycling controllers (with Hadas Kress-Gazit, Nora Ayanian, and Vijay Kumar), Departmental Papers (ESE) (2008)
The problem of designing control schemes for teams of robots to satisfy complex high-level tasks...
Approximate Reduction of Dynamical Systems (with Paulo Tabuada, Aaron D. Ames, and Agung Julius), Departmental Papers (ESE) (2008)
The reduction of dynamical systems has a rich history, with many important applications related to...
Approximate Reduction of Dynamical Systems (with Paulo Tabuada, Aaron D. Ames, and Agung Julius), Departmental Papers (ESE) (2008)
The reduction of dynamical systems has a rich history, with many important applications related to...
Approximate Reduction of Dynamical Systems (with Paulo Tabuada, Aaron D. Ames, and Agung Julius), Departmental Papers (ESE) (2008)
The reduction of dynamical systems has a rich history, with many important applications related to...
Distributed Topology Control of Dynamic Networks (with Michael M. Zavlanos, Alireza Tahbaz-Salehi, and Ali Jadbabaie), Lab Papers (GRASP) (2008)
In this paper, we present a distributed control framework for controlling the topology of dynamic...
Distributed Topology Control of Dynamic Networks (with Michael M. Zavlanos, Alireza Tahbaz-Salehi, and Ali Jadbabaie), Lab Papers (GRASP) (2008)
In this paper, we present a distributed control framework for controlling the topology of dynamic...
Distributed Topology Control of Dynamic Networks (with Michael M. Zavlanos, Alireza Tahbaz-Salehi, and Ali Jadbabaie), Lab Papers (GRASP) (2008)
In this paper, we present a distributed control framework for controlling the topology of dynamic...
Elastic Multi-Particle Systems for Bounded-Curvature Path Planning (with Ali Ahmadzadeh, Ali Jadbabaie, and Vijay Kumar), Lab Papers (GRASP) (2008)
This paper investigates a path planning algorithm for Dubins vehicles. Our approach is based on...
Elastic Multi-Particle Systems for Bounded-Curvature Path Planning (with Ali Ahmadzadeh, Ali Jadbabaie, and Vijay Kumar), Lab Papers (GRASP) (2008)
This paper investigates a path planning algorithm for Dubins vehicles. Our approach is based on...
Elastic Multi-Particle Systems for Bounded-Curvature Path Planning (with Ali Ahmadzadeh, Ali Jadbabaie, and Vijay Kumar), Lab Papers (GRASP) (2008)
This paper investigates a path planning algorithm for Dubins vehicles. Our approach is based on...
Identification of stable genetic networks using convex programming (with Michael M. Zavlanos, A. Agung Julius, and Stephen P. Boyd), Lab Papers (GRASP) (2008)
Gene regulatory networks capture interactions between genes and other cell substances, resulting in various models...
Identification of stable genetic networks using convex programming (with Michael M. Zavlanos, A. Agung Julius, and Stephen P. Boyd), Lab Papers (GRASP) (2008)
Gene regulatory networks capture interactions between genes and other cell substances, resulting in various models...
Identification of stable genetic networks using convex programming (with Michael M. Zavlanos, A. Agung Julius, and Stephen P. Boyd), Lab Papers (GRASP) (2008)
Gene regulatory networks capture interactions between genes and other cell substances, resulting in various models...
From Discrete to Continuous and Back: Abstractions and Mesoscopic Phenomena in Cells (with Ádám M. Halász, A. Agung Julius, and R. Vijay Kumar), Departmental Papers (ESE) (2008)
We discuss the interplay between stochasticity and multistability in bio-molecular networks. The resulting cell-level stochastic...
From Discrete to Continuous and Back: Abstractions and Mesoscopic Phenomena in Cells (with Ádám M. Halász, A. Agung Julius, and R. Vijay Kumar), Departmental Papers (ESE) (2008)
We discuss the interplay between stochasticity and multistability in bio-molecular networks. The resulting cell-level stochastic...
From Discrete to Continuous and Back: Abstractions and Mesoscopic Phenomena in Cells (with Ádám M. Halász, A. Agung Julius, and R. Vijay Kumar), Departmental Papers (ESE) (2008)
We discuss the interplay between stochasticity and multistability in bio-molecular networks. The resulting cell-level stochastic...
Courteous Cars: Decentralized Multiagent Traffic Coordination (with Hadas Kress-Gazit, David C. Connor, Howie Choset, and Alfred A. Rizzi), Departmental Papers (ESE) (2008)
A major goal in robotics is to develop machines that perform useful tasks with minimal...
Courteous Cars: Decentralized Multiagent Traffic Coordination (with Hadas Kress-Gazit, David C. Connor, Howie Choset, and Alfred A. Rizzi), Departmental Papers (ESE) (2008)
A major goal in robotics is to develop machines that perform useful tasks with minimal...
Courteous Cars: Decentralized Multiagent Traffic Coordination (with Hadas Kress-Gazit, David C. Connor, Howie Choset, and Alfred A. Rizzi), Departmental Papers (ESE) (2008)
A major goal in robotics is to develop machines that perform useful tasks with minimal...
Dynamic Assignment in Distributed Motion Planning With Local Coordination (with Michael Zavlanos), Departmental Papers (ESE) (2008)
Distributed motion planning of multiple agents raises fundamental and novel problems in control theory and...
Dynamic Assignment in Distributed Motion Planning With Local Coordination (with Michael Zavlanos), Departmental Papers (ESE) (2008)
Distributed motion planning of multiple agents raises fundamental and novel problems in control theory and...
Dynamic Assignment in Distributed Motion Planning With Local Coordination (with Michael Zavlanos), Departmental Papers (ESE) (2008)
Distributed motion planning of multiple agents raises fundamental and novel problems in control theory and...
Robust Sampling for MITL Specifications (with Georgios E. Fainekos), Departmental Papers (ESE) (2007)
Real-time temporal logic reasoning about trajectories of physical systems necessitates models of time which are...
Robust Sampling for MITL Specifications (with Georgios E. Fainekos), Departmental Papers (ESE) (2007)
Real-time temporal logic reasoning about trajectories of physical systems necessitates models of time which are...
Robust Sampling for MITL Specifications (with Georgios E. Fainekos), Departmental Papers (ESE) (2007)
Real-time temporal logic reasoning about trajectories of physical systems necessitates models of time which are...
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates (with Stephen Prajna and Ali Jadbabaie), Departmental Papers (ESE) (2007)
This paper presents a methodology for safety verification of continuous and hybrid systems in the...
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates (with Stephen Prajna and Ali Jadbabaie), Departmental Papers (ESE) (2007)
This paper presents a methodology for safety verification of continuous and hybrid systems in the...
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates (with Stephen Prajna and Ali Jadbabaie), Departmental Papers (ESE) (2007)
This paper presents a methodology for safety verification of continuous and hybrid systems in the...
Approximate Bisimulation Relations for Constrained Linear Systems (with Antoine Girard), Departmental Papers (ESE) (2007)
In this paper, we define the notion of approximate bisimulation relation between two continuous systems....
Approximate Bisimulation Relations for Constrained Linear Systems (with Antoine Girard), Departmental Papers (ESE) (2007)
In this paper, we define the notion of approximate bisimulation relation between two continuous systems....
Approximate Bisimulation Relations for Constrained Linear Systems (with Antoine Girard), Departmental Papers (ESE) (2007)
In this paper, we define the notion of approximate bisimulation relation between two continuous systems....
Potential Fields for Maintaining Connectivity of Mobile Networks (with Michael M. Zavlanos), Departmental Papers (ESE) (2007)
The control of mobile networks of multiple agents raises fundamental and novel problems in controlling...
Potential Fields for Maintaining Connectivity of Mobile Networks (with Michael M. Zavlanos), Departmental Papers (ESE) (2007)
The control of mobile networks of multiple agents raises fundamental and novel problems in controlling...
Potential Fields for Maintaining Connectivity of Mobile Networks (with Michael M. Zavlanos), Departmental Papers (ESE) (2007)
The control of mobile networks of multiple agents raises fundamental and novel problems in controlling...
Controlling Biological Systems: The Lactose Regulation System of Escherichia Coli (with Anak Agung Julius, Ádam Halasz, and Vijay Kumar), Departmental Papers (MEAM) (2007)
In this paper we present a comprehensive framework for abstraction and controller design for a...
Controlling Biological Systems: The Lactose Regulation System of Escherichia Coli (with Anak Agung Julius, Ádam Halasz, and Vijay Kumar), Departmental Papers (MEAM) (2007)
In this paper we present a comprehensive framework for abstraction and controller design for a...
Controlling Biological Systems: The Lactose Regulation System of Escherichia Coli (with Anak Agung Julius, Ádam Halasz, and Vijay Kumar), Departmental Papers (MEAM) (2007)
In this paper we present a comprehensive framework for abstraction and controller design for a...
Approximation Metrics for Discrete and Continuous Systems (with Antoine Girard), Departmental Papers (CIS) (2007)
Established system relationships for discrete systems, such as language inclusion, simulation, and bisimulation, require system...
Approximation Metrics for Discrete and Continuous Systems (with Antoine Girard), Departmental Papers (CIS) (2007)
Established system relationships for discrete systems, such as language inclusion, simulation, and bisimulation, require system...
Approximation Metrics for Discrete and Continuous Systems (with Antoine Girard), Departmental Papers (CIS) (2007)
Established system relationships for discrete systems, such as language inclusion, simulation, and bisimulation, require system...
Flocking in Fixed and Switching Networks (with Herbert G. Tanner and Ali Jadbabaie), Departmental Papers (ESE) (2007)
This note analyzes the stability properties of a group of mobile agents that align their...
Flocking in Fixed and Switching Networks (with Herbert G. Tanner and Ali Jadbabaie), Departmental Papers (ESE) (2007)
This note analyzes the stability properties of a group of mobile agents that align their...
Flocking in Fixed and Switching Networks (with Herbert G. Tanner and Ali Jadbabaie), Departmental Papers (ESE) (2007)
This note analyzes the stability properties of a group of mobile agents that align their...
Robust Test Generation and Coverage for Hybrid Systems (with Agung Julius, Georgios E. Fainekos, Madhukar Anand, and Insup Lee), Departmental Papers (CIS) (2007)
Testing is an important tool for validation of the system design and its implementation. Model-based...
Robust Test Generation and Coverage for Hybrid Systems (with Agung Julius, Georgios E. Fainekos, Madhukar Anand, and Insup Lee), Departmental Papers (CIS) (2007)
Testing is an important tool for validation of the system design and its implementation. Model-based...
Robust Test Generation and Coverage for Hybrid Systems (with Agung Julius, Georgios E. Fainekos, Madhukar Anand, and Insup Lee), Departmental Papers (CIS) (2007)
Testing is an important tool for validation of the system design and its implementation. Model-based...
Symbolic Control and Planning of Robotic Motion [Grand Challenges of Robotics] (with Calin Belta, Antonio Bicci, Magnus Egerstedt, Emilio Frazzoli, and Eric Klavins), Departmental Papers (ESE) (2007)
Mobile robots are complex systems that combine mechanical elements such as wheels and gears, electromechanical...
Symbolic Control and Planning of Robotic Motion [Grand Challenges of Robotics] (with Calin Belta, Antonio Bicci, Magnus Egerstedt, Emilio Frazzoli, and Eric Klavins), Departmental Papers (ESE) (2007)
Mobile robots are complex systems that combine mechanical elements such as wheels and gears, electromechanical...
Symbolic Control and Planning of Robotic Motion [Grand Challenges of Robotics] (with Calin Belta, Antonio Bicci, Magnus Egerstedt, Emilio Frazzoli, and Eric Klavins), Departmental Papers (ESE) (2007)
Mobile robots are complex systems that combine mechanical elements such as wheels and gears, electromechanical...
Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli (with Agung Julius, Ádám Halász, and R. Vijay Kumar), Departmental Papers (MEAM) (2006)
This paper focuses on the lactose regulation system in Escherichia coli bacteria, one of the...
Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli (with Agung Julius, Ádám Halász, and R. Vijay Kumar), Departmental Papers (MEAM) (2006)
This paper focuses on the lactose regulation system in Escherichia coli bacteria, one of the...
Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli (with Agung Julius, Ádám Halász, and R. Vijay Kumar), Departmental Papers (MEAM) (2006)
This paper focuses on the lactose regulation system in Escherichia coli bacteria, one of the...
Linear Time Logic Control of Discrete-Time Linear Systems (with Paulo Tabuada), Departmental Papers (ESE) (2006)
The control of complex systems poses new challenges that fall beyond the traditional methods of...
Linear Time Logic Control of Discrete-Time Linear Systems (with Paulo Tabuada), Departmental Papers (ESE) (2006)
The control of complex systems poses new challenges that fall beyond the traditional methods of...
Linear Time Logic Control of Discrete-Time Linear Systems (with Paulo Tabuada), Departmental Papers (ESE) (2006)
The control of complex systems poses new challenges that fall beyond the traditional methods of...
Unit & Dynamic Typing in Hybrid Systems Modeling with CHARON (with Madhukar Anand, Insup Lee, and Oleg Sokolsky), Departmental Papers (CIS) (2006)
In scientific applications, dimensional analysis forms a basis for catching errors as it introduces a...
Unit & Dynamic Typing in Hybrid Systems Modeling with CHARON (with Madhukar Anand, Insup Lee, and Oleg Sokolsky), Departmental Papers (CIS) (2006)
In scientific applications, dimensional analysis forms a basis for catching errors as it introduces a...
Unit & Dynamic Typing in Hybrid Systems Modeling with CHARON (with Madhukar Anand, Insup Lee, and Oleg Sokolsky), Departmental Papers (CIS) (2006)
In scientific applications, dimensional analysis forms a basis for catching errors as it introduces a...
Temporal Logic Verification Using Simulation (with Georgios E. Fainekos and Antoine Girard), Departmental Papers (CIS) (2006)
In this paper, we consider a novel approach to the temporal logic verification problem of...
Temporal Logic Verification Using Simulation (with Georgios E. Fainekos and Antoine Girard), Departmental Papers (CIS) (2006)
In this paper, we consider a novel approach to the temporal logic verification problem of...
Temporal Logic Verification Using Simulation (with Georgios E. Fainekos and Antoine Girard), Departmental Papers (CIS) (2006)
In this paper, we consider a novel approach to the temporal logic verification problem of...
Cooperative Air and Ground Survaillance (with Ben Grocholsky, James Keller, and Vijay Kumar), Departmental Papers (MEAM) (2006)
Unmanned aerial vehicles (UAVs) can be used to cover large areas searching for targets. However,...
Cooperative Air and Ground Survaillance (with Ben Grocholsky, James Keller, and Vijay Kumar), Departmental Papers (MEAM) (2006)
Unmanned aerial vehicles (UAVs) can be used to cover large areas searching for targets. However,...
Cooperative Air and Ground Survaillance (with Ben Grocholsky, James Keller, and Vijay Kumar), Departmental Papers (MEAM) (2006)
Unmanned aerial vehicles (UAVs) can be used to cover large areas searching for targets. However,...
Cooperative Air and Ground Surveillance (with Ben Grocholsky, James Keller, and R. Vijay Kumar), Departmental Papers (MEAM) (2006)
Unmanned aerial vehicles (UAVs) can be used to cover large areas searching for targets. However,...
Cooperative Air and Ground Surveillance (with Ben Grocholsky, James Keller, and R. Vijay Kumar), Departmental Papers (MEAM) (2006)
Unmanned aerial vehicles (UAVs) can be used to cover large areas searching for targets. However,...
Cooperative Air and Ground Surveillance (with Ben Grocholsky, James Keller, and R. Vijay Kumar), Departmental Papers (MEAM) (2006)
Unmanned aerial vehicles (UAVs) can be used to cover large areas searching for targets. However,...
Special Section on Symbolic Methods for Complex Control Systems (with Magnus B. Egerstedt and Emilio Fazzoli), Departmental Papers (ESE) (2006)
The increasing complexity associated with many modern engineering applications, including autonomous robot guidance and navigation,...
Special Section on Symbolic Methods for Complex Control Systems (with Magnus B. Egerstedt and Emilio Fazzoli), Departmental Papers (ESE) (2006)
The increasing complexity associated with many modern engineering applications, including autonomous robot guidance and navigation,...
Special Section on Symbolic Methods for Complex Control Systems (with Magnus B. Egerstedt and Emilio Fazzoli), Departmental Papers (ESE) (2006)
The increasing complexity associated with many modern engineering applications, including autonomous robot guidance and navigation,...
High-Confidence Medical Device Software and Systems (with Insup Lee, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, and Lui Sha), Departmental Papers (CIS) (2006)
Given the shortage of caregivers and the increase in an aging US population, the future...
High-Confidence Medical Device Software and Systems (with Insup Lee, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, and Lui Sha), Departmental Papers (CIS) (2006)
Given the shortage of caregivers and the increase in an aging US population, the future...
High-Confidence Medical Device Software and Systems (with Insup Lee, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, and Lui Sha), Departmental Papers (CIS) (2006)
Given the shortage of caregivers and the increase in an aging US population, the future...
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems (with Fabian Kratz, Oleg Sokolsky, and Insup Lee), Departmental Papers (CIS) (2006)
This paper describes the modeling language as an extension for architectural reconfiguration to the existing...
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems (with Fabian Kratz, Oleg Sokolsky, and Insup Lee), Departmental Papers (CIS) (2006)
This paper describes the modeling language as an extension for architectural reconfiguration to the existing...
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems (with Fabian Kratz, Oleg Sokolsky, and Insup Lee), Departmental Papers (CIS) (2006)
This paper describes the modeling language as an extension for architectural reconfiguration to the existing...
Approximate Bisimulations for Nonlinear Dynamical Systems (with Antoine Girard), Departmental Papers (ESE) (2005)
The notion of exact bisimulation equivalence for nondeterministic discrete systems has recently resulted in notions...
Approximate Bisimulations for Nonlinear Dynamical Systems (with Antoine Girard), Departmental Papers (ESE) (2005)
The notion of exact bisimulation equivalence for nondeterministic discrete systems has recently resulted in notions...
Approximate Bisimulations for Nonlinear Dynamical Systems (with Antoine Girard), Departmental Papers (ESE) (2005)
The notion of exact bisimulation equivalence for nondeterministic discrete systems has recently resulted in notions...
Controlling Connectivity of Dynamic Graphs (with Michael M. Zavlanos), Lab Papers (GRASP) (2005)
The control of mobile networks of multiple agents raises fundamental and novel problems in controlling...
Controlling Connectivity of Dynamic Graphs (with Michael M. Zavlanos), Lab Papers (GRASP) (2005)
The control of mobile networks of multiple agents raises fundamental and novel problems in controlling...
Controlling Connectivity of Dynamic Graphs (with Michael M. Zavlanos), Lab Papers (GRASP) (2005)
The control of mobile networks of multiple agents raises fundamental and novel problems in controlling...
Discrete Abstractions for Robot Motion Planning and Control in Polygonal Environments (with Calin Belta and Volkan Isler), Departmental Papers (ESE) (2005)
In this paper, we present a computational framework for automatic generation of provably correct control...
Discrete Abstractions for Robot Motion Planning and Control in Polygonal Environments (with Calin Belta and Volkan Isler), Departmental Papers (ESE) (2005)
In this paper, we present a computational framework for automatic generation of provably correct control...
Discrete Abstractions for Robot Motion Planning and Control in Polygonal Environments (with Calin Belta and Volkan Isler), Departmental Papers (ESE) (2005)
In this paper, we present a computational framework for automatic generation of provably correct control...
Bisimulation relations for dynamical, control, and hybrid systems (with Esfandiar Haghverdi and Paulo Tabuada), Departmental Papers (ESE) (2005)
The fundamental notion of bisimulation equivalence for concurrent processes, has escaped the world of continuous,...
Bisimulation relations for dynamical, control, and hybrid systems (with Esfandiar Haghverdi and Paulo Tabuada), Departmental Papers (ESE) (2005)
The fundamental notion of bisimulation equivalence for concurrent processes, has escaped the world of continuous,...
Bisimulation relations for dynamical, control, and hybrid systems (with Esfandiar Haghverdi and Paulo Tabuada), Departmental Papers (ESE) (2005)
The fundamental notion of bisimulation equivalence for concurrent processes, has escaped the world of continuous,...
Hierarchical trajectory refinement for a class of nonlinear systems (with Paulo Tabuada), Departmental Papers (ESE) (2005)
Trajectory generation for nonlinear control systems is an important and difficult problem. In this paper,...
Hierarchical trajectory refinement for a class of nonlinear systems (with Paulo Tabuada), Departmental Papers (ESE) (2005)
Trajectory generation for nonlinear control systems is an important and difficult problem. In this paper,...
Hierarchical trajectory refinement for a class of nonlinear systems (with Paulo Tabuada), Departmental Papers (ESE) (2005)
Trajectory generation for nonlinear control systems is an important and difficult problem. In this paper,...
Information Driven Coordinated Air-Ground Proactive Sensing (with Ben Grocholsky, Rahul Swaminathan, James Keller, and Vijay Kumar), Lab Papers (GRASP) (2005)
This paper concerns the problem of actively searching for and localizing ground features by a...
Information Driven Coordinated Air-Ground Proactive Sensing (with Ben Grocholsky, Rahul Swaminathan, James Keller, and Vijay Kumar), Lab Papers (GRASP) (2005)
This paper concerns the problem of actively searching for and localizing ground features by a...
Information Driven Coordinated Air-Ground Proactive Sensing (with Ben Grocholsky, Rahul Swaminathan, James Keller, and Vijay Kumar), Lab Papers (GRASP) (2005)
This paper concerns the problem of actively searching for and localizing ground features by a...
Temporal Logic Motion Planning for Mobile Robots (with Geogios E. Fainekos and Hadas Kress-Gazit), Lab Papers (GRASP) (2005)
In this paper, we consider the problem of robot motion planning in order to satisfy...
Temporal Logic Motion Planning for Mobile Robots (with Geogios E. Fainekos and Hadas Kress-Gazit), Lab Papers (GRASP) (2005)
In this paper, we consider the problem of robot motion planning in order to satisfy...
Temporal Logic Motion Planning for Mobile Robots (with Geogios E. Fainekos and Hadas Kress-Gazit), Lab Papers (GRASP) (2005)
In this paper, we consider the problem of robot motion planning in order to satisfy...
Observability of Switched Linear Systems in Continuous Time (with Mohamed Babaali), Departmental Papers (ESE) (2005)
We study continuous-time switched linear systems with unobserved and exogeneous mode signals. We analyze the...
Observability of Switched Linear Systems in Continuous Time (with Mohamed Babaali), Departmental Papers (ESE) (2005)
We study continuous-time switched linear systems with unobserved and exogeneous mode signals. We analyze the...
Observability of Switched Linear Systems in Continuous Time (with Mohamed Babaali), Departmental Papers (ESE) (2005)
We study continuous-time switched linear systems with unobserved and exogeneous mode signals. We analyze the...
Hybrid Controllers for Path Planning: A Temporal Logic Approach (with Geogios E. Fainekos and Hadas Kress-Gazit), Lab Papers (GRASP) (2005)
Robot motion planning algorithms have focused on low-level reachability goals taking into account robot kinematics,...
Hybrid Controllers for Path Planning: A Temporal Logic Approach (with Geogios E. Fainekos and Hadas Kress-Gazit), Lab Papers (GRASP) (2005)
Robot motion planning algorithms have focused on low-level reachability goals taking into account robot kinematics,...
Hybrid Controllers for Path Planning: A Temporal Logic Approach (with Geogios E. Fainekos and Hadas Kress-Gazit), Lab Papers (GRASP) (2005)
Robot motion planning algorithms have focused on low-level reachability goals taking into account robot kinematics,...
Quotients of fully nonlinear control systems (with Paulo Tabuada), Departmental Papers (ESE) (2005)
In this paper, we introduce and study quotients of fully nonlinear control systems. Our definition...
Quotients of fully nonlinear control systems (with Paulo Tabuada), Departmental Papers (ESE) (2005)
In this paper, we introduce and study quotients of fully nonlinear control systems. Our definition...
Quotients of fully nonlinear control systems (with Paulo Tabuada), Departmental Papers (ESE) (2005)
In this paper, we introduce and study quotients of fully nonlinear control systems. Our definition...
Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles (with Selcuk Bayraktar and Georgios E. Fainekos), Technical Reports (CIS) (2004)
Recent years have seen rapidly growing interest in the development of networks of multiple unmanned...
Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles (with Selcuk Bayraktar and Georgios E. Fainekos), Technical Reports (CIS) (2004)
Recent years have seen rapidly growing interest in the development of networks of multiple unmanned...
Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles (with Selcuk Bayraktar and Georgios E. Fainekos), Technical Reports (CIS) (2004)
Recent years have seen rapidly growing interest in the development of networks of multiple unmanned...
Hybrid Control for Visibility-Based Pursuit-Evasion Games (with Volkan Isler, Calin Belta, and Kostas Daniilidis), Departmental Papers (CIS) (2004)
Pursuit-evasion games in complex environments have a rich but disconnected history. Continuous or differential pursuit-evasion...
Hybrid Control for Visibility-Based Pursuit-Evasion Games (with Volkan Isler, Calin Belta, and Kostas Daniilidis), Departmental Papers (CIS) (2004)
Pursuit-evasion games in complex environments have a rich but disconnected history. Continuous or differential pursuit-evasion...
Hybrid Control for Visibility-Based Pursuit-Evasion Games (with Volkan Isler, Calin Belta, and Kostas Daniilidis), Departmental Papers (CIS) (2004)
Pursuit-evasion games in complex environments have a rich but disconnected history. Continuous or differential pursuit-evasion...
Platform-Independent Autonomy Modeling (with Oleg Sokolsky), Departmental Papers (CIS) (2004)
We describe an approach for high-level modeling behaviors of autonomous vehicles and an infrastructure for...
Platform-Independent Autonomy Modeling (with Oleg Sokolsky), Departmental Papers (CIS) (2004)
We describe an approach for high-level modeling behaviors of autonomous vehicles and an infrastructure for...
Platform-Independent Autonomy Modeling (with Oleg Sokolsky), Departmental Papers (CIS) (2004)
We describe an approach for high-level modeling behaviors of autonomous vehicles and an infrastructure for...
Geometric Programming Relaxations for Linear System Reachability (with Hakan Yazarel), Departmental Papers (ESE) (2004)
One of the main obstacles in the safety analysis of continuous and hybrid systems has...
Geometric Programming Relaxations for Linear System Reachability (with Hakan Yazarel), Departmental Papers (ESE) (2004)
One of the main obstacles in the safety analysis of continuous and hybrid systems has...
Geometric Programming Relaxations for Linear System Reachability (with Hakan Yazarel), Departmental Papers (ESE) (2004)
One of the main obstacles in the safety analysis of continuous and hybrid systems has...
Synergies in Feature Localization by Air-Ground Robot Teams (with Ben Grocholsky, Selcuk Bayraktar, R. Vijay Kumar, and Camillo J. Taylor), Departmental Papers (MEAM) (2004)
This paper describes the implementation of a decentralized architecture for autonomous teams of aerial and...
Synergies in Feature Localization by Air-Ground Robot Teams (with Ben Grocholsky, Selcuk Bayraktar, R. Vijay Kumar, and Camillo J. Taylor), Departmental Papers (MEAM) (2004)
This paper describes the implementation of a decentralized architecture for autonomous teams of aerial and...
Synergies in Feature Localization by Air-Ground Robot Teams (with Ben Grocholsky, Selcuk Bayraktar, R. Vijay Kumar, and Camillo J. Taylor), Departmental Papers (MEAM) (2004)
This paper describes the implementation of a decentralized architecture for autonomous teams of aerial and...
Optimal paths in weighted timed automata (with Rajeev Alur and Salvatore La Torre), Departmental Papers (ESE) (2004)
We consider the optimal-reachability problem for a timed automaton with respect to a linear cost...
Optimal paths in weighted timed automata (with Rajeev Alur and Salvatore La Torre), Departmental Papers (ESE) (2004)
We consider the optimal-reachability problem for a timed automaton with respect to a linear cost...
Optimal paths in weighted timed automata (with Rajeev Alur and Salvatore La Torre), Departmental Papers (ESE) (2004)
We consider the optimal-reachability problem for a timed automaton with respect to a linear cost...
Leader-to-Formation Stability (with Herbert G. Tanner and R. Vijay Kumar), Departmental Papers (ESE) (2004)
The paper investigates the stability properties of mobile agent formations which are based on leader...
Leader-to-Formation Stability (with Herbert G. Tanner and R. Vijay Kumar), Departmental Papers (ESE) (2004)
The paper investigates the stability properties of mobile agent formations which are based on leader...
Leader-to-Formation Stability (with Herbert G. Tanner and R. Vijay Kumar), Departmental Papers (ESE) (2004)
The paper investigates the stability properties of mobile agent formations which are based on leader...
Bisimilar control affine systems (with Paulo Tabuada), Departmental Papers (ESE) (2004)
The notion of bisimulation plays a very important role in theoretical computer science where it...
Bisimilar control affine systems (with Paulo Tabuada), Departmental Papers (ESE) (2004)
The notion of bisimulation plays a very important role in theoretical computer science where it...
Bisimilar control affine systems (with Paulo Tabuada), Departmental Papers (ESE) (2004)
The notion of bisimulation plays a very important role in theoretical computer science where it...
Compositional abstractions of hybrid control systems (with Paulo Tabuada and Pedro Lima), Departmental Papers (ESE) (2004)
Abstraction is a natural way to hierarchically decompse the analysis and design of hybrid systems....
Compositional abstractions of hybrid control systems (with Paulo Tabuada and Pedro Lima), Departmental Papers (ESE) (2004)
Abstraction is a natural way to hierarchically decompse the analysis and design of hybrid systems....
Compositional abstractions of hybrid control systems (with Paulo Tabuada and Pedro Lima), Departmental Papers (ESE) (2004)
Abstraction is a natural way to hierarchically decompse the analysis and design of hybrid systems....
Finite Bisimulations of Controllable Linear Systems (with Paulo Tabuada), Departmental Papers (ESE) (2003)
Finite abstractions of infinite state models have been critical in enabling and applying formal and...
Finite Bisimulations of Controllable Linear Systems (with Paulo Tabuada), Departmental Papers (ESE) (2003)
Finite abstractions of infinite state models have been critical in enabling and applying formal and...
Finite Bisimulations of Controllable Linear Systems (with Paulo Tabuada), Departmental Papers (ESE) (2003)
Finite abstractions of infinite state models have been critical in enabling and applying formal and...
From Discrete Specifications to Hybrid Control (with Paulo Tabuada), Departmental Papers (ESE) (2003)
A great challenge for modern systems theory is the design of controllers for continuous systems...
From Discrete Specifications to Hybrid Control (with Paulo Tabuada), Departmental Papers (ESE) (2003)
A great challenge for modern systems theory is the design of controllers for continuous systems...
From Discrete Specifications to Hybrid Control (with Paulo Tabuada), Departmental Papers (ESE) (2003)
A great challenge for modern systems theory is the design of controllers for continuous systems...
Hierarchical Trajectory Generation for a Class of Nonlinear Systems (with Paulo Tabuada), Departmental Papers (ESE) (2003)
Trajectory generation and motion planning for nonlinear control systems is an important and difficult problem....
Hierarchical Trajectory Generation for a Class of Nonlinear Systems (with Paulo Tabuada), Departmental Papers (ESE) (2003)
Trajectory generation and motion planning for nonlinear control systems is an important and difficult problem....
Hierarchical Trajectory Generation for a Class of Nonlinear Systems (with Paulo Tabuada), Departmental Papers (ESE) (2003)
Trajectory generation and motion planning for nonlinear control systems is an important and difficult problem....
Stable Flocking of Mobile Agents, Part I: Fixed Topology (with Herbert G. Tanner and Ali Jadbabaie), Departmental Papers (ESE) (2003)
This is the first of a two-part paper that investigates the stability properties of a...
Stable Flocking of Mobile Agents, Part I: Fixed Topology (with Herbert G. Tanner and Ali Jadbabaie), Departmental Papers (ESE) (2003)
This is the first of a two-part paper that investigates the stability properties of a...
Stable Flocking of Mobile Agents, Part I: Fixed Topology (with Herbert G. Tanner and Ali Jadbabaie), Departmental Papers (ESE) (2003)
This is the first of a two-part paper that investigates the stability properties of a...
Stable Flocking of Mobile Agents, Part II: Dynamic Topology (with Herbert G. Tanner and Ali Jadbabaie), Departmental Papers (ESE) (2003)
This is the second of a two-part paper, investigating the stability properties of a system...
Stable Flocking of Mobile Agents, Part II: Dynamic Topology (with Herbert G. Tanner and Ali Jadbabaie), Departmental Papers (ESE) (2003)
This is the second of a two-part paper, investigating the stability properties of a system...
Stable Flocking of Mobile Agents, Part II: Dynamic Topology (with Herbert G. Tanner and Ali Jadbabaie), Departmental Papers (ESE) (2003)
This is the second of a two-part paper, investigating the stability properties of a system...
Abstractions of Hamiltonian control systems (with Paulo Tabuada), Departmental Papers (ESE) (2003)
Given a control system and a desired property, an abstracted system is a reduced system...
Abstractions of Hamiltonian control systems (with Paulo Tabuada), Departmental Papers (ESE) (2003)
Given a control system and a desired property, an abstracted system is a reduced system...
Abstractions of Hamiltonian control systems (with Paulo Tabuada), Departmental Papers (ESE) (2003)
Given a control system and a desired property, an abstracted system is a reduced system...
From Nonlinear to Hamiltonian via Feedback (with Paulo Tabuada), Departmental Papers (ESE) (2003)
Mechanical control systems are an especially interesting and important class of nonlinear control systems. They...
From Nonlinear to Hamiltonian via Feedback (with Paulo Tabuada), Departmental Papers (ESE) (2003)
Mechanical control systems are an especially interesting and important class of nonlinear control systems. They...
From Nonlinear to Hamiltonian via Feedback (with Paulo Tabuada), Departmental Papers (ESE) (2003)
Mechanical control systems are an especially interesting and important class of nonlinear control systems. They...
Abstractions of Constrained Linear Systems (with Herbert G. Tanner), Departmental Papers (ESE) (2003)
Simulation relations are powerful abstraction techniques in computer science that reduce the complexity of analysis...
Abstractions of Constrained Linear Systems (with Herbert G. Tanner), Departmental Papers (ESE) (2003)
Simulation relations are powerful abstraction techniques in computer science that reduce the complexity of analysis...
Abstractions of Constrained Linear Systems (with Herbert G. Tanner), Departmental Papers (ESE) (2003)
Simulation relations are powerful abstraction techniques in computer science that reduce the complexity of analysis...
Model checking LTL over controllable linear systems is decidable (with Paulo Tabuada), Departmental Papers (ESE) (2003)
The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to...
Model checking LTL over controllable linear systems is decidable (with Paulo Tabuada), Departmental Papers (ESE) (2003)
The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to...
Model checking LTL over controllable linear systems is decidable (with Paulo Tabuada), Departmental Papers (ESE) (2003)
The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to...
Hierarchical Modeling and Analysis of Embedded Systems (with Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, R. Vijay Kumar, Insup Lee, Pradyumna Mishra, and Oleg Sokolsky), Departmental Papers (CIS) (2003)
This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The...
Hierarchical Modeling and Analysis of Embedded Systems (with Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, R. Vijay Kumar, Insup Lee, Pradyumna Mishra, and Oleg Sokolsky), Departmental Papers (CIS) (2003)
This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The...
Hierarchical Modeling and Analysis of Embedded Systems (with Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, R. Vijay Kumar, Insup Lee, Pradyumna Mishra, and Oleg Sokolsky), Departmental Papers (CIS) (2003)
This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The...
Bisimilar Control Affine Systems (with Paulo Tabuada), Departmental Papers (ESE) (2002)
The notion of bisimulation plays a very important role in theoretical computer science where it...
Bisimilar Control Affine Systems (with Paulo Tabuada), Departmental Papers (ESE) (2002)
The notion of bisimulation plays a very important role in theoretical computer science where it...
Bisimilar Control Affine Systems (with Paulo Tabuada), Departmental Papers (ESE) (2002)
The notion of bisimulation plays a very important role in theoretical computer science where it...
Discrete synchronization of hybrid systems (with Paulo Tabuada), Departmental Papers (ESE) (2002)
Control theory is currently faced with new paradigms and challenges that fall beyond traditional problems....
Discrete synchronization of hybrid systems (with Paulo Tabuada), Departmental Papers (ESE) (2002)
Control theory is currently faced with new paradigms and challenges that fall beyond traditional problems....
Discrete synchronization of hybrid systems (with Paulo Tabuada), Departmental Papers (ESE) (2002)
Control theory is currently faced with new paradigms and challenges that fall beyond traditional problems....
Input-to-state Stability on Formation Graphs (with Herbert G. Tanner and R. Vijay Kumar), Departmental Papers (ESE) (2002)
Formation stability is now analyzed under a new prism using input-to-state stability. Formation ISS relates...
Input-to-state Stability on Formation Graphs (with Herbert G. Tanner and R. Vijay Kumar), Departmental Papers (ESE) (2002)
Formation stability is now analyzed under a new prism using input-to-state stability. Formation ISS relates...
Input-to-state Stability on Formation Graphs (with Herbert G. Tanner and R. Vijay Kumar), Departmental Papers (ESE) (2002)
Formation stability is now analyzed under a new prism using input-to-state stability. Formation ISS relates...
A Framework and Architecture for Multirobot Coordination (with Rajeev Alur, Aveek J. Das, Joel Esposito, Rafael Fierro, Gregory Grudic, Yerang Hur, R. Vijay Kumar, Insup Lee, James Ostrowski, B. Southall, John R. Spletzer, and Camillo J. Taylor), Departmental Papers (CIS) (2002)
In this paper, we present a framework and the software architecture for the deployment of...
A Framework and Architecture for Multirobot Coordination (with Rajeev Alur, Aveek J. Das, Joel Esposito, Rafael Fierro, Gregory Grudic, Yerang Hur, R. Vijay Kumar, Insup Lee, James Ostrowski, B. Southall, John R. Spletzer, and Camillo J. Taylor), Departmental Papers (CIS) (2002)
In this paper, we present a framework and the software architecture for the deployment of...
A Framework and Architecture for Multirobot Coordination (with Rajeev Alur, Aveek J. Das, Joel Esposito, Rafael Fierro, Gregory Grudic, Yerang Hur, R. Vijay Kumar, Insup Lee, James Ostrowski, B. Southall, John R. Spletzer, and Camillo J. Taylor), Departmental Papers (CIS) (2002)
In this paper, we present a framework and the software architecture for the deployment of...
Simulation relations for discrete-time linear systems (with Herbert Tanner), Departmental Papers (ESE) (2002)
Simulation relations of labeled transition systems are used in theoretical computer science in order to...
Simulation relations for discrete-time linear systems (with Herbert Tanner), Departmental Papers (ESE) (2002)
Simulation relations of labeled transition systems are used in theoretical computer science in order to...
Simulation relations for discrete-time linear systems (with Herbert Tanner), Departmental Papers (ESE) (2002)
Simulation relations of labeled transition systems are used in theoretical computer science in order to...
The Effect of Feedback and Feedforward on Formation ISS (with Herbert G. Tanner and R. Vijay Kumar), Departmental Papers (MEAM) (2002)
A new type of stability of leader follower formations is defined, based on input-to-state stability...
The Effect of Feedback and Feedforward on Formation ISS (with Herbert G. Tanner and R. Vijay Kumar), Departmental Papers (MEAM) (2002)
A new type of stability of leader follower formations is defined, based on input-to-state stability...
The Effect of Feedback and Feedforward on Formation ISS (with Herbert G. Tanner and R. Vijay Kumar), Departmental Papers (MEAM) (2002)
A new type of stability of leader follower formations is defined, based on input-to-state stability...
Flying Hot Potatoes (with Pradyumna Mishra), Departmental Papers (ESE) (2002)
Optical communication networks and air traffic management systems share the same fundamental routing problem as...
Flying Hot Potatoes (with Pradyumna Mishra), Departmental Papers (ESE) (2002)
Optical communication networks and air traffic management systems share the same fundamental routing problem as...
Flying Hot Potatoes (with Pradyumna Mishra), Departmental Papers (ESE) (2002)
Optical communication networks and air traffic management systems share the same fundamental routing problem as...
Consistent Abstractions of Affine Control Systems (with Slobodan Simic), Departmental Papers (ESE) (2002)
In this paper, we consider the problem of constructing abstractions of affine control systems that...
Consistent Abstractions of Affine Control Systems (with Slobodan Simic), Departmental Papers (ESE) (2002)
In this paper, we consider the problem of constructing abstractions of affine control systems that...
Consistent Abstractions of Affine Control Systems (with Slobodan Simic), Departmental Papers (ESE) (2002)
In this paper, we consider the problem of constructing abstractions of affine control systems that...
Composing Abstractions of Hybrid Systems (with Paulo Tabuada and Pedro Lima), Departmental Papers (ESE) (2002)
The analysis and design of hybrid systems must exploit their hierarchical and compositional nature of...
Composing Abstractions of Hybrid Systems (with Paulo Tabuada and Pedro Lima), Departmental Papers (ESE) (2002)
The analysis and design of hybrid systems must exploit their hierarchical and compositional nature of...
Composing Abstractions of Hybrid Systems (with Paulo Tabuada and Pedro Lima), Departmental Papers (ESE) (2002)
The analysis and design of hybrid systems must exploit their hierarchical and compositional nature of...
Modeling and Analyzing Biomolecular Networks (with Rajeev Alur, Calin Belta, Vijay Kumar, Max Mintz, Harvey Rubin, and Jonathan Schug), Departmental Papers (MEAM) (2002)
The authors argue for the need to model and analyze biological networks at molecular and...
Modeling and Analyzing Biomolecular Networks (with Rajeev Alur, Calin Belta, Vijay Kumar, Max Mintz, Harvey Rubin, and Jonathan Schug), Departmental Papers (MEAM) (2002)
The authors argue for the need to model and analyze biological networks at molecular and...
Modeling and Analyzing Biomolecular Networks (with Rajeev Alur, Calin Belta, Vijay Kumar, Max Mintz, Harvey Rubin, and Jonathan Schug), Departmental Papers (MEAM) (2002)
The authors argue for the need to model and analyze biological networks at molecular and...
Abstractions of Hamiltonian Control Systems (with Paulo Tabuada), Departmental Papers (ESE) (2001)
Given a control system and a desired property, an abstracted system is a reduced system...
Abstractions of Hamiltonian Control Systems (with Paulo Tabuada), Departmental Papers (ESE) (2001)
Given a control system and a desired property, an abstracted system is a reduced system...
Abstractions of Hamiltonian Control Systems (with Paulo Tabuada), Departmental Papers (ESE) (2001)
Given a control system and a desired property, an abstracted system is a reduced system...
Compositional Abstractions of Hybrid Control Systems (with Paulo Tabuada and Pedro Lima), Departmental Papers (ESE) (2001)
Abstraction is a natural way to hierarchically decompose the analysis and design of hybrid systems....
Compositional Abstractions of Hybrid Control Systems (with Paulo Tabuada and Pedro Lima), Departmental Papers (ESE) (2001)
Abstraction is a natural way to hierarchically decompose the analysis and design of hybrid systems....
Compositional Abstractions of Hybrid Control Systems (with Paulo Tabuada and Pedro Lima), Departmental Papers (ESE) (2001)
Abstraction is a natural way to hierarchically decompose the analysis and design of hybrid systems....
Hierarchies of Stabilizability Preserving Linear Systems (with Gerardo Lafferriere), Departmental Papers (ESE) (2001)
Hierarchical decompositions of control systems are important for reducing the analysis and design of large...
Hierarchies of Stabilizability Preserving Linear Systems (with Gerardo Lafferriere), Departmental Papers (ESE) (2001)
Hierarchical decompositions of control systems are important for reducing the analysis and design of large...
Hierarchies of Stabilizability Preserving Linear Systems (with Gerardo Lafferriere), Departmental Papers (ESE) (2001)
Hierarchical decompositions of control systems are important for reducing the analysis and design of large...
Multi-Agent Hybrid System Simulation (with Joel Esposito and R. Vijay Kumar), Departmental Papers (ESE) (2001)
In this paper a technique is presented for simulating a set of hybrid systems (agents)...
Multi-Agent Hybrid System Simulation (with Joel Esposito and R. Vijay Kumar), Departmental Papers (ESE) (2001)
In this paper a technique is presented for simulating a set of hybrid systems (agents)...
Multi-Agent Hybrid System Simulation (with Joel Esposito and R. Vijay Kumar), Departmental Papers (ESE) (2001)
In this paper a technique is presented for simulating a set of hybrid systems (agents)...
Multi-Modal Control of Systems with Constraints (with T. John Koo and Shankar Sastry), Departmental Papers (ESE) (2001)
In multi-modal control paradigm, a set of controllers of satisfactory performance have already been designed...
Multi-Modal Control of Systems with Constraints (with T. John Koo and Shankar Sastry), Departmental Papers (ESE) (2001)
In multi-modal control paradigm, a set of controllers of satisfactory performance have already been designed...
Multi-Modal Control of Systems with Constraints (with T. John Koo and Shankar Sastry), Departmental Papers (ESE) (2001)
In multi-modal control paradigm, a set of controllers of satisfactory performance have already been designed...
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri (with Calin Belta, Jonathan Schug, Thao Dang, R. Vijay Kumar, Harvey Rubin, and Paul Dunlap), Departmental Papers (MEAM) (2001)
This paper addresses the mathematical modeling and analysis of the quorum sensing system found in...
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri (with Calin Belta, Jonathan Schug, Thao Dang, R. Vijay Kumar, Harvey Rubin, and Paul Dunlap), Departmental Papers (MEAM) (2001)
This paper addresses the mathematical modeling and analysis of the quorum sensing system found in...
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri (with Calin Belta, Jonathan Schug, Thao Dang, R. Vijay Kumar, Harvey Rubin, and Paul Dunlap), Departmental Papers (MEAM) (2001)
This paper addresses the mathematical modeling and analysis of the quorum sensing system found in...
Feasible Formations of Multi-Agent Systems (with Paulo Tabuada and Pedro Lima), Departmental Papers (ESE) (2001)
Formations of multi-agent systems, such as satellites and aircraft, require that individual agents satisfy their...
Feasible Formations of Multi-Agent Systems (with Paulo Tabuada and Pedro Lima), Departmental Papers (ESE) (2001)
Formations of multi-agent systems, such as satellites and aircraft, require that individual agents satisfy their...
Feasible Formations of Multi-Agent Systems (with Paulo Tabuada and Pedro Lima), Departmental Papers (ESE) (2001)
Formations of multi-agent systems, such as satellites and aircraft, require that individual agents satisfy their...
Discrete Abstractions of Hybrid Systems (with Rajeev Alur, Thomas A. Henzinger, and Gerardo Lafferriere), Departmental Papers (CIS) (2000)
A hybrid system is a dynamical system with both discrete and continuous state changes. For...
Discrete Abstractions of Hybrid Systems (with Rajeev Alur, Thomas A. Henzinger, and Gerardo Lafferriere), Departmental Papers (CIS) (2000)
A hybrid system is a dynamical system with both discrete and continuous state changes. For...
Discrete Abstractions of Hybrid Systems (with Rajeev Alur, Thomas A. Henzinger, and Gerardo Lafferriere), Departmental Papers (CIS) (2000)
A hybrid system is a dynamical system with both discrete and continuous state changes. For...
Hierarchically Consistent Control Systems (with Gerardo Lafferriere and Shankar Sastry), Departmental Papers (ESE) (2000)
Large-scale control systems typically possess a hierarchical architecture in order to manage complexity. Higher levels...
Hierarchically Consistent Control Systems (with Gerardo Lafferriere and Shankar Sastry), Departmental Papers (ESE) (2000)
Large-scale control systems typically possess a hierarchical architecture in order to manage complexity. Higher levels...
Hierarchically Consistent Control Systems (with Gerardo Lafferriere and Shankar Sastry), Departmental Papers (ESE) (2000)
Large-scale control systems typically possess a hierarchical architecture in order to manage complexity. Higher levels...