Search Sciweavers | Sciweavers

2377 search results - page 11 / 476

» Hybrid Systems in TLA

click to vote

HYBRID
2009
Springer

114views Control Systems» more HYBRID 2009»

Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach

14 years 1 months ago

Download www.mate.tue.nl

M. C. F. Donkers, Laurentiu Hetel, W. P. M. H. Hee...

claim paper

Read More »

click to vote

HPCNCS
2007

152views Applied Computing» more HPCNCS 2007»

A Formal Approach for Identity Management in Federated Web Services

13 years 8 months ago

Download www.cs.iastate.edu

The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...

S. Chandrasekaran, C. Dinesh, Kartic Ramesh, Al. M...

claim paper

Read More »

click to vote

HYBRID
2007
Springer

100views Control Systems» more HYBRID 2007»

Foundations of a Compositional Interchange Format for Hybrid Systems

14 years 26 days ago

Download www.win.tue.nl

D. A. van Beek, Michel A. Reniers, Ramon R. H. Sch...

claim paper

Read More »

click to vote

ENTCS
2011

125views more ENTCS 2011»

A Hybrid Public Announcement Logic with Distributed Knowledge

12 years 10 months ago

Download akira.ruc.dk

In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...

Jens Ulrik Hansen

claim paper

Read More »

click to vote

HYBRID
2004
Springer

98views Control Systems» more HYBRID 2004»

On the Controllability of Bimodal Piecewise Linear Systems

14 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers