UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Optimal multirate sampling in symbolic models for incrementally stable switched systems

Automatica (Oxford), 2018-12, Vol.98, p.58-65

2018

Volltextzugriff (PDF)

Assume-guarantee contracts for continuous-time systems

Automatica (Oxford), 2021-12, Vol.134, p.109910, Article 109910

2021

Volltextzugriff (PDF)

Characterization, verification and computation of robust controlled invariants for monotone dynamical systems

Mathematics of control, signals, and systems, 2024-03, Vol.36 (1), p.71-100

2024

Volltextzugriff (PDF)

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

IEEE transactions on automatic control, 2021-03, Vol.66 (3), p.1055-1070

2021

Volltextzugriff (PDF)

Sufficient conditions for robust safety in differential inclusions using barrier functions

Automatica (Oxford), 2025-01, Vol.171, p.111938, Article 111938

2025

Volltextzugriff (PDF)

Lazy controller synthesis for monotone transition systems and directed safety specifications

Automatica (Oxford), 2022-01, Vol.135, p.109993, Article 109993

2022

Volltextzugriff (PDF)

Asymptotic error in Euler’s method with a constant step size

European journal of control, 2022-11, Vol.68, p.100694, Article 100694

2022

Volltextzugriff (PDF)

Learning-based symbolic abstractions for nonlinear control systems

Automatica (Oxford), 2022-12, Vol.146, p.110646, Article 110646

2022

Volltextzugriff (PDF)

Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach

IEEE control systems letters, 2023-01, Vol.7, p.1-1

2023

Volltextzugriff (PDF)

Using Euler's Method to Prove the Convergence of Neural Networks

IEEE control systems letters, 2022-01, Vol.6, p.3224-3228

2022

Volltextzugriff (PDF)

Monotonicity-Based Symbolic Control for Safety in Driving Scenarios

IEEE control systems letters, 2022, Vol.6, p.830-835

2022

Volltextzugriff (PDF)

Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach

IEEE transactions on control of network systems, 2021-06, Vol.8 (2), p.702-712

2021

Volltextzugriff (PDF)

Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties

IFAC-PapersOnLine, 2024, Vol.58 (11), p.189-194

2024

Volltextzugriff (PDF)

Necessary and sufficient Conditions of Forward Invariance in Hybrid Dnamical Systems: An LMI Approach

IFAC-PapersOnLine, 2024, Vol.58 (11), p.153-158

2024

Volltextzugriff (PDF)

A Symbolic Approach to the Self-Triggered Design for Networked Control Systems

IEEE control systems letters, 2019-10, Vol.3 (4), p.1050-1055

2019

Volltextzugriff (PDF)

Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems

2022 IEEE 61st Conference on Decision and Control (CDC), 2022, p.4990-4995

2022

Volltextzugriff (PDF)

Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids

IFAC-PapersOnLine, 2024, Vol.58 (18), p.15-20

2024

Volltextzugriff (PDF)

Power management via STL specifications of a DC microgrid integrating renewables and storage devices: a smart railway station case study

IFAC-PapersOnLine, 2024, Vol.58 (13), p.502-508

2024

Volltextzugriff (PDF)

Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control

IFAC-PapersOnLine, 2021, Vol.54 (5), p.91-96

2021

Volltextzugriff (PDF)

A Robust Hybrid Finite Time Parameter Estimator With Relaxed Persistence of Excitation Condition

2021 American Control Conference (ACC), 2021, p.3975-3980

2021

Volltextzugriff (PDF)

Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control⁎⁎A. Saoud and R. G. Sanfelice are with Department of Electrical and Computer Engineering, University of California, Santa Cruz. This research has been partially supported by NSF Grants no. ECS-1710621, CNS-1544396, and CNS-2039054, by AFOSR Grants no. FA9550-19-1-0053, FA9550-19-1-0169, and FA9550-20-1-0238, and by CITRIS and the Banatao Institute at the University of Califor

IFAC-PapersOnLine, 2021, Vol.54 (5), p.91-96

2021

Volltextzugriff (PDF)

Symbolic Abstractions From Data: A PAC Learning Approach

2021 60th IEEE Conference on Decision and Control (CDC), 2021, p.599-604

2021

Volltextzugriff (PDF)

Approches symboliques pour le contrôle des systèmes non linéaires

Automatique et ingénierie système, 2024-09

2024

Volltextzugriff (PDF)

On Robust Controlled Invariants for Continuous-time Monotone Systems

IFAC-PapersOnLine, 2024, Vol.58 (11), p.135-140

2024

Volltextzugriff (PDF)

Multirate Symbolic Models for Incrementally Stable Switched Systems

IFAC-PapersOnLine, 2017, Vol.50 (1), p.9278-9284

2017

Volltextzugriff (PDF)

1 – 25 von 55

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(14)
Mit Volltextzugriff
(46)

Publikationsform

Tagungsberichte
(28)
Artikel
(27)

Sprache

Englisch
(54)
Französisch
(1)

Erscheinungsjahr

n.n

Thema

Science & Technology
(41)
Technology
(41)
Automation & Control Systems
(39)
Computer Science
(19)
Engineering Sciences
(19)
Automatic
(18)
Engineering
(16)
Engineering, Electrical & Electronic
(16)
Dynamical Systems
(12)
Mathematics
(11)
Safety
(11)
Systems And Control
(11)
Symbolic Control
(9)
Hybrid Systems
(7)
Algorithms
(6)
Automatic Control Engineering
(6)
Computational Modeling
(6)
Conferences
(6)
Convergence
(6)
Invariance
(6)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

2 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(9)

Menü

Weitere Dienste

Einstellungen

Optimal multirate sampling in symbolic models for incrementally stable switched systems

Assume-guarantee contracts for continuous-time systems

Characterization, verification and computation of robust controlled invariants for monotone dynamical systems

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

Sufficient conditions for robust safety in differential inclusions using barrier functions

Lazy controller synthesis for monotone transition systems and directed safety specifications

Asymptotic error in Euler’s method with a constant step size

Learning-based symbolic abstractions for nonlinear control systems

Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach

Using Euler's Method to Prove the Convergence of Neural Networks

Monotonicity-Based Symbolic Control for Safety in Driving Scenarios

Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach

Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties

Necessary and sufficient Conditions of Forward Invariance in Hybrid Dnamical Systems: An LMI Approach

A Symbolic Approach to the Self-Triggered Design for Networked Control Systems

Characterizations and Computation of Controlled Invariants for Monotone Dynamical Systems

Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids

Power management via STL specifications of a DC microgrid integrating renewables and storage devices: a smart railway station case study

Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control

A Robust Hybrid Finite Time Parameter Estimator With Relaxed Persistence of Excitation Condition

Symbolic Abstractions From Data: A PAC Learning Approach

Approches symboliques pour le contrôle des systèmes non linéaires

On Robust Controlled Invariants for Continuous-time Monotone Systems

Multirate Symbolic Models for Incrementally Stable Switched Systems

Suchergebnisse filtern