Skip to contents

Tabuada, Paulo [Author] ; Alur, Rajeev [Other]

Verification and control of hybrid systems : a symbolic approach

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht; Heidelberg [u.a.]: Springer, 2009
Majumdar, Rupak [Editor]; Tabuada, Paulo [Other] ; HSCC 12 2009 San Francisco, Calif

Hybrid systems : computation and control ; 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5469
Antsaklis, Panos J. [Editor]; Tabuada, Paulo [Editor] ; Workshop NESC 2005 Notre Dame, Ind

Networked embedded sensing and control : Workshop NESC'05 ; University of Notre Dame, USA, October 2005, proceedings ; [Workshop on Networked Embedded Sensing and Control (NESC) held at the University of Notre Dame, Notre Dame, Indiana, on October 17 - 18 2005]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2006

Published in: Lecture notes in control and information sciences ; 33100
Tabuada, Paulo [Author]; Neider, Daniel [Author] ; Paulo Tabuada and Daniel Neider [Contributor]

Robust Linear Temporal Logic

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Schild, Axel [Author]; Egerstedt, Magnus [Author]; Lunze, Jan [Author]; Majumdar, Rupak [Author]; Tabuada, Paulo [Author]

Orbital control for a class of planar impulsive hybrid system with controllable resets

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2009-01-01

Published in: Hybrid Systems : Computation and control ; 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13 - 15, 2009 ; proceedings
Mascle, Corto [Author]; Neider, Daniel [Author]; Schwenger, Maximilian [Author]; Tabuada, Paulo [Author]; Weinert, Alexander [Author]; Zimmermann, Martin [Author]

From LTL to rLTL monitoring : improved monitorability through robust semantics

View online
Schließen

Access

... to article via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2022

Published in: Formal methods in system design ; 59(2021), Seite 170-204
Hutchison, David [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Tabuada, Paulo [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Majumdar, Rupak [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

Hybrid Systems: Computation and Control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5469
Tabuada, Paulo

An Approximate Simulation Approach to Symbolic Control

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2008

Published in: IEEE Transactions on Automatic Control, 53 (2008) 6, Seite 1406-1418
Tabuada, Paulo

Control theory from the geometric viewpoint [Andrei A. Agrachev and Yuri L. Sachkov. Copyright 2003 World Scientific Publishing, ISBN: 3-540-21019-9]

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2006

Published in: Automatica, 42 (2006) 4, Seite 695-696
Tabuada, Paulo

Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2007

Published in: IEEE Transactions on Automatic Control, 52 (2007) 9, Seite 1680-1685
Tabuada, Paulo

Symbolic models for control systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2007

Published in: Acta Informatica, 43 (2007) 7, Seite 477-500
Tabuada, Paulo

Hybrid Systems: Computation and Control: Sensor/Actuator Abstractions for Symbolic Embedded Control Design

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Hybrid Systems: Computation and Control (2005), Seite 640-654
Tabuada, Paulo

CONCUR 2004 - Concurrency Theory: Open Maps, Alternating Simulations and Control Synthesis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2004

Published in: CONCUR 2004 - Concurrency Theory (2004), Seite 466-480
Schmuck, Anne-Kathrin [Author] ; Raisch, Jörg [Degree supervisor]; Raisch, Jörg [Other]; Tabuada, Paulo [Other]; Moor, Thomas [Other]

Building bridges in abstraction-based controller synthesis : advancing, combining, and comparing methods from computer and control

View online
Schließen

Access

... to E-book via DOI

... to E-book

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Technische Universität Berlin, 2015
Tabuada, Paulo; Gharesifard, Bahman

Correction to “Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control”

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2024

Published in: IEEE Transactions on Automatic Control, 69 (2024) 7, Seite 4891-4892
Tabuada, Paulo; Gharesifard, Bahman

Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2023

Published in: IEEE Transactions on Automatic Control, 68 (2023) 5, Seite 2715-2728
Mao, Yanwen; Tabuada, Paulo

Decentralized Secure State-Tracking in Multi-Agent Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2022

Published in: IEEE Transactions on Automatic Control (2022), Seite 1-12
Sultangazin, Alimzhan; Tabuada, Paulo

Symmetries and Isomorphisms for Privacy in Control Over the Cloud

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2021

Published in: IEEE Transactions on Automatic Control, 66 (2021) 2, Seite 538-549
Bloem, Roderick; Tabuada, Paulo

Preface for the SYNT

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2020

Published in: Acta Informatica, 57 (2020) 1-2, Seite 1-1
Rungger, Matthias; Tabuada, Paulo

Computing Robust Controlled Invariant Sets of Linear Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2017

Published in: IEEE Transactions on Automatic Control, 62 (2017) 7, Seite 3665-3670

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication