Search Results - "Tomlin, C.J."

A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games by Mitchell, I.M., Bayen, A.M., Tomlin, C.J.

“…We describe and implement an algorithm for computing the set of reachable states of a continuous dynamic game. The algorithm is based on a proof that the…”
Get full text

Computational techniques for the verification of hybrid systems by Tomlin, C.J., Mitchell, I., Bayen, A.M., Oishi, M.

“…Hybrid system theory lies at the intersection of the fields of engineering control theory and computer science verification. It is defined as the modeling,…”
Get full text

A game theoretic approach to controller design for hybrid systems by Tomlin, C.J., Lygeros, J., Shankar Sastry, S.

“…We present a method to design controllers for safety specifications in hybrid systems. The hybrid system combines discrete event dynamics with nonlinear…”
Get full text

Adjoint-based control of a new eulerian network model of air traffic flow by Bayen, A.M., Raffard, R.L., Tomlin, C.J.

“…An Eulerian network model for air traffic flow in the National Airspace System is developed and used to design flow control schemes which could be used by Air…”
Get full text

Stability Analysis of Explicit Congestion Control Protocols by Balakrishnan, H., Dukkipati, N., McKeown, N., Tomlin, C.J.

“…In the context of explicit congestion control protocols like XCP and RCP where the equilibrium queue lengths are zero, we show that the stability region…”
Get full text

An Adjoint-Based Parameter Identification Algorithm Applied to Planar Cell Polarity Signaling by Raffard, R.L., Amonlirdviman, K., Axelrod, J.D., Tomlin, C.J.

“…This paper presents an adjoint-based algorithm for performing automatic parameter identification on differential equation models of biological systems. The…”
Get full text

Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design by Oishi, M., Mitchell, I.M., Bayen, A.M., Tomlin, C.J.

“…Hybrid systems combine discrete state dynamics which model mode switching, with continuous state dynamics which model physical processes. Hybrid systems can be…”
Get full text

Lump-Sum Markets for Air Traffic Flow Control With Competitive Airlines by Waslander, Steven L., Roy, Kaushik, Johari, Ramesh, Tomlin, Claire J.

“…Air traffic flow control during adverse weather conditions is managed by the Federal Aviation Administration in today's air traffic system, although it is the…”
Get full text

Aerodynamics and control of autonomous quadrotor helicopters in aggressive maneuvering by Haomiao Huang, Hoffmann, G.M., Waslander, S.L., Tomlin, C.J.

“…Quadrotor helicopters have become increasingly important in recent years as platforms for both research and commercial unmanned aerial vehicle applications…”
Get full text

Mobile Sensor Network Control Using Mutual Information Methods and Particle Filters by Hoffmann, G.M., Tomlin, C.J.

“…This paper develops a set of methods enabling an information-theoretic distributed control architecture to facilitate search by a mobile sensor network. Given…”
Get full text

Distributed optimization for cooperative agents: application to formation flight by Raffard, R.L., Tomlin, C.J., Boyd, S.P.

“…We present a simple decentralized algorithm to solve optimization problems involving cooperative agents. Cooperative agents share a common objective and…”
Get full text

Mathematical modeling of planar cell polarity to understand domineering nonautonomy by Amonlirdviman, K, Khare, N.A, Tree, D.R.P, Chen, W.S, Axelrod, J.D, Tomlin, C.J

“…Planar cell polarity (PCP) signaling generates subcellular asymmetry along an axis orthogonal to the epithelial apical-basal axis. Through a poorly understood…”
Get full text

Decentralized Spacing Control of a String of Multiple Vehicles Over Lossy Datalinks by Teo, R., Stipanovic, D.M., Tomlin, C.J.

“…In spacing control of multiple vehicles as in aircraft, spacecraft formation flying and highway vehicle platooning, previous research has shown that the lead…”
Get full text

Multi-agent quadrotor testbed control design: integral sliding mode vs. reinforcement learning by Waslander, S.L., Hoffmann, G.M., Jung Soon Jang, Tomlin, C.J.

“…The Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control (STARMAC) is a multi-vehicle testbed currently comprised of two quadrotors, also called…”
Get full text

Should Exotic Reptiles Be Sold as Pets? by Tomlin, C.J, Cruce, Ashley

Get full text

Autonomous Automobile Trajectory Tracking for Off-Road Driving: Controller Design, Experimental Validation and Racing by Hoffmann, G.M., Tomlin, C.J., Montemerlo, M., Thrun, S.

“…This paper presents a nonlinear control law for an automobile to autonomously track a trajectory, provided in real-time, on rapidly varying, off-road terrain…”
Get full text

The Stanford testbed of autonomous rotorcraft for multi agent control (STARMAC) by Hoffmann, G., Rajnarayan, D.G., Waslander, S.L., Dostal, D., Jang, J.S., Tomlin, C.J.

“…As an alternative to cumbersome aerial vehicles with considerable maintenance requirements and flight envelope restrictions, the X4 flyer is chosen as the…”
Get full text

Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control by Hoffmann, G.M., Waslander, S.L., Vitus, M.P., Haomiao Huang, Gillula, J., Pradeep, V., Tomlin, C.J.

“…The Stanford Testbed of Autonomous Rotorcraft for Multi-Agent Control, a fleet of quadrotor helicopters, has been developed as a testbed for novel algorithms…”
Get full text

Decentralized cooperative collision avoidance for acceleration constrained vehicles by Hoffmann, G.M., Tomlin, C.J.

“…Safety must be ensured in the deployment of multi-agent vehicle systems. This paper presents decentralized collision avoidance algorithms for systems with…”
Get full text

Switching through singularities by Tomlin, C.J., Sastry, S.S.

“…Asymptotic tracking is studied for systems which are not regular, that is, the relative degree is not well defined. For these systems, the input–output…”
Get full text