Sciweavers

1521 search results - page 87 / 305
» On Sampled Semantics of Timed Systems
Sort
View
ECOWS
2006
Springer
15 years 1 months ago
The NExT Process Workbench: Towards the Support of Dynamic Semantic Web Processes
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
Abraham Bernstein, Michael Dänzer
HYBRID
2007
Springer
15 years 4 months ago
Sporadic Control of First-Order Linear Stochastic Systems
The standard approach in feedback control systems is to sample and control periodically. For some applications, such as networked control systems or severely energy-constrained sys...
Erik Johannesson, Toivo Henningsson, Anton Cervin
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 4 months ago
Distributed self-triggered control for multi-agent systems
Abstract-- It is desirable to limit the amount of communication and computation generated by each agent in a large multi-agent system. Event- and self-triggered control strategies ...
Dimos V. Dimarogonas, Emilio Frazzoli, Karl Henrik...
HICSS
2008
IEEE
122views Biometrics» more  HICSS 2008»
15 years 4 months ago
Contouring for Power Systems Using Graphical Processing Units
To improve situational awareness in power systems, one useful tool used in control centers is bus (or substation) data contouring. Traditionally, the methods developed have used C...
Joseph Euzebe Tate, Thomas J. Overbye
ENTCS
2008
91views more  ENTCS 2008»
14 years 10 months ago
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
Mario Bravetti