#### Filter Results:

- Full text PDF available (65)

#### Publication Year

2006

2017

- This year (11)
- Last 5 years (52)
- Last 10 years (70)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### 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)

- Janos Sztipanovits, Susan Ying, +16 authors Wenjing Rao
- 2013

Th is report was prepared through the collaborative eff orts of the individuals noted below. It refl ects their expert contributions as well as the many insights generated at the Th is report was prepared as an account of work cosponsored by the National Institute of Standards and Technology (NIST). Th e views and opinions expressed herein do not… (More)

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)