Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
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...
    Datensatz exportieren als...
  • BibTeX
Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays
Hybrid Systems: Computation and Control, p.366-380
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Decentralized Event-Triggered Broadcasts over Networked Control Systems
Hybrid Systems: Computation and Control, p.674-677
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On Self-triggered Full-Information H-Infinity Controllers
Hybrid Systems: Computation and Control, p.371-384
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On the Existence of Solutions to Controlled Hybrid Automata
Hybrid Systems: Computation and Control, 2000, p.229-242
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Introduction to the special issue on self-adaptive and self-organizing wireless networking systems
ACM transactions on autonomous and adaptive systems, 2009-07, Vol.4 (3), p.1-4
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Event-triggered distributed optimization in sensor networks
2009 International Conference on Information Processing in Sensor Networks, 2009, p.49-60
2009
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Stabilizing bit-rates in quantized event triggered control systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, 2012, p.245-254
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Liveness Verification of Discrete Event Systems Modeled by n-Safe Ordinary Petri Nets
Application and Theory of Petri Nets 2000, 2000, p.227-243
2000
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Hybrid Systems with Finite Bisimulations
Hybrid Systems V, 1999, Vol.1567, p.186-203
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Sliding Mode Model Semantics and Simulation for Hybrid Systems
Hybrid Systems V, 1999, Vol.1567, p.218-237
1999
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Inductively inferring valid logical models of continuous-state dynamical systems
Theoretical computer science, 1995-02, Vol.138 (1), p.201-210
1995
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem
Hybrid Systems V, 1999, Vol.1567, p.163-185
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Optimal Controller Switching for Stochastic Systems
Hybrid Systems V, 1999, Vol.1567, p.341-355
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Extracting Stable Timed Automata from Switched Model Reference Systems
Hybrid Systems V, 1999, Vol.1567, p.204-217
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Phase-Space Nonlinear Control Toolbox: The Maglev Experience
Hybrid Systems V, 1999, Vol.1567, p.429-444
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computing Approximating Automata for a Class of Linear Hybrid Systems
Hybrid Systems V, 1999, Vol.1567, p.16-37
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Robust Control of Hybrid Systems: Performance Guided Strategies
Hybrid Systems V, 1999, Vol.1567, p.356-390
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Control Synthesis of Hybrid Systems Based on Predicate Invariance
Hybrid Systems V, 1999, Vol.1567, p.1-15
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles
Hybrid Systems V, 1999, Vol.1567, p.324-340
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Approximating Automata and Discrete Control for Continuous Systems — Two Examples from Process Control
Hybrid Systems V, 1999, Vol.1567, p.279-303
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Action Systems with Continuous Behaviour
Hybrid Systems V, 1999, Vol.1567, p.304-323
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties
Hybrid Systems V, 1999, Vol.1567, p.142-162
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Analysis of Slope-Parametric Rectangular Automata
Hybrid Systems V, 1999, Vol.1567, p.390-413
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Rigorous Design of a Fault Diagnosis and Isolation Algorithm
Hybrid Systems V, 1999, Vol.1567, p.100-121
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Time-Deterministic Hybrid Transition Systems
Hybrid Systems V, 1999, Vol.1567, p.238-250
1999
Volltextzugriff (PDF)
1 – 25 von 32
Suche als RSS-Feed
Aktive Filter
ThemaComputer Science, Theory & Methods
Suchergebnisse filtern
Filter anzeigen