#### Filter Results:

#### Publication Year

2006

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
- IEEE Trans. Automat. Contr.
- 2013

We propose formal means for synthesizing switching protocols that determine the sequence in which the modes of a switched system are activated to satisfy certain high-level specifications in linear temporal logic (LTL). The synthesized protocols are robust against exogenous disturbances on the continuous dynamics and can react to possibly adversarial events… (More)

- Pierluigi Nuzzo, Huan Xu, +5 authors Sanjit A. Seshia
- IEEE Access
- 2014

—In an aircraft electric power system, one or more supervisory control units actuate a set of electromechanical switches to dynamically distribute power from generators to loads, while satisfying safety, reliability and real-time performance requirements. To reduce expensive redesign steps, this control problem is generally addressed by minor incremental… (More)

- Necmiye Ozay, Mario Sznaier, Constantino M. Lagoa, Octavia I. Camps
- IEEE Trans. Automat. Contr.
- 2012

—This paper addresses the problem of robust identification of a class of discrete-time affine hybrid systems, switched affine models, in a set membership framework. Given a finite collection of noisy input/output data and some minimal a priori information about the set of admissible plants, the objective is to identify a suitable set of affine models along… (More)

— This work is motivated by the problem of synthesizing mode sequences for continuous-time polynomial switched systems in order to guarantee that the trajectories of the system satisfy certain high-level specifications expressed in linear temporal logic. We use augmented finite transition systems as abstract models of continuous switched systems. Augmented… (More)

- Paulo Tabuada, Alexandre Donze, +10 authors Timothy Bourke
- 2013

This paper describes <i>TuLiP</i>, a Python-based software toolbox for the synthesis of embedded control software that is provably correct with respect to an expressive subset of linear temporal logic (LTL) specifications. <i>TuLiP</i> combines routines for (1) finite state abstraction of control systems, (2) digital design synthesis from LTL… (More)

— This paper addresses the problem of robust identification of a class of discrete-time affine hybrid systems, switched affine models, in a set membership framework. Given a finite collection of noisy input/output data and some minimal a priori information about the set of admissible plants, the objective is to identify a suitable set of affine models along… (More)

- Necmiye Ozay, Ufuk Topcu, Richard M. Murray
- CDC-ECE
- 2011

— We consider the problem of designing distributed control protocols-for aircraft vehicle management systems-that cooperatively allocate electric power while meeting certain higher level goals and requirements, and dynamically reacting to the changes in the internal system state and external environment. A decentralized control problem is posed where each… (More)

- Jun Liu, Necmiye Ozay
- HSCC
- 2014

Abstraction-based, hierarchical approaches to control synthesis from temporal logic specifications for dynamical systems have gained increased popularity over the last decade. Yet various issues commonly encountered and extensively dealt with in control systems have not been adequately discussed in the context of temporal logic control of dynamical systems,… (More)

— We consider the problem of synthesizing control protocols for smart camera networks where the goal is to guarantee that certain linear temporal logic (LTL) specifications related to a given surveillance task are met. We first present a centralized control architecture for assigning pan-tilt-zoom (PTZ) cameras to targets so that the specification is met… (More)