Publication

Analysis of Piecewise Affine Systems with Logic States

Related publications (32)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

In this paper, fixed-order robust H-infinity controller design for systems with ellipsoidal parametric uncertainty based on parameter dependent Lyapunov functions is studied. Using the concept of Strictly Positive Realness (SPRness) of transfer functions, ...

Taylor & Francis2011

, ,

Techniques such as verification condition generation, predicate abstraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Programs and their specifications often make use of data structures such as sets ...

Springer2010

We explore the problem of automated reasoning about the non-disjoint combination of logics that share set variables and operations. We prove a general combination theorem, and apply it to show the decidability for the quantifier-free combination of formula ...

2009

, ,

High defect density exhibited by nanoelectronic technologies, and parameter variability already affecting the operation of very-deep submicron CMOS systems demand for a combination of specific solutions, focusing at each various levels of abstraction in th ...

2006

Lagrange Stability and Performance Analysis of Discrete-Time Piecewise Affine Systems with Logic States

Giancarlo Ferrari Trecate

In this paper we consider discrete-time piecewise affine hybrid systems with boolean inputs, outputs and states and show that they can be represented in a logic canonical form where the logic variables influence the switching between different submodels bu ...

2003

Analysis of Discrete-Time Piecewise Affine and Hybrid Systems

Giancarlo Ferrari Trecate

In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapunov functions are considered and it is shown how to compute them through Line ...

2002

2001

Analysis of Discrete-Time Piecewise Affine and Hybrid Systems

Giancarlo Ferrari Trecate

2001

Analysis and Control with Performance of Piecewise Affine and Hybrid Systems

Giancarlo Ferrari Trecate

In this paper we investigate some analysis and control problems with performance for discrete-time hybrid systems in the Piece-Wise Affine form. By using arguments from the dissipativity theory for nonlinear systems, we show that

H_infty

analysis and syn ...

2001

Stability and Stabilization of Piecewise Affine and Hybrid Systems: An LMI Approach

Giancarlo Ferrari Trecate

In this paper we present various algorithms both for stability analysis and state-feedback design for discrete-time piecewise affine systems. As in (Johansson and Rantzer, 1998), our approach hinges on the use of piecewise quadratic Lyapunov functions that ...

2000

Analysis and Control with Performance of Piecewise Affine and Hybrid Systems

Giancarlo Ferrari Trecate

H_infty

analysis and syn ...

2001