Sciweavers

Share
KI
2010
Springer
8 years 3 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
CDC
2010
IEEE
150views Control Systems» more  CDC 2010»
8 years 3 months ago
Nonlinear hybrid system identification with kernel models
Abstract-- This paper focuses on the identification of nonlinear hybrid systems involving unknown nonlinear dynamics. The proposed method extends the framework of [1] by introducin...
Fabien Lauer, Gérard Bloch, René Vid...
CDC
2010
IEEE
160views Control Systems» more  CDC 2010»
8 years 3 months ago
Model-on-Demand predictive control for nonlinear hybrid systems with application to adaptive behavioral interventions
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
Naresh N. Nandola, Daniel E. Rivera
HYBRID
2009
Springer
8 years 6 months ago
STORMED Hybrid Games
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [21], which have natural specifications, allow rich continuous dynamics and admit various proper...
Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh ...
SCL
2010
87views more  SCL 2010»
8 years 6 months ago
Generating series for bilinear hybrid systems
In this paper we introduce the novel concept of a hybrid generating series and show that continuous state and output trajectories of bilinear hybrid systems can be described in te...
Mihály Petreczky, Jan H. van Schuppen
INFOCOM
2010
IEEE
8 years 6 months ago
Understanding Sub-stream Scheduling in P2P Hybrid Live Streaming Systems
—The P2P pull-push hybrid architecture has achieved great success in delivering live video traffic over the Internet. However, a formal study on the sub-stream scheduling proble...
Zhenjiang Li, Danny H. K. Tsang, Wang-Chien Lee
IEEECIT
2010
IEEE
8 years 6 months ago
Predicting Events for the Simulation of Hybrid Systems
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...
Kerstin Bauer, Klaus Schneider
TCS
2002
8 years 8 months ago
Specification of real-time and hybrid systems in rewriting logic
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
Peter Csaba Ölveczky, José Meseguer
STTT
2008
88views more  STTT 2008»
8 years 8 months ago
PHAVer: algorithmic verification of hybrid systems past HyTech
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
Goran Frehse
FUIN
2007
91views more  FUIN 2007»
8 years 8 months ago
Towards a Framework for Modelling Behaviours of Hybrid Systems
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
Józef Winkowski
books