Sciweavers

695 search results - page 36 / 139
» Symbolic Simulation of Hybrid Systems
Sort
View
CAISE
2008
Springer
13 years 10 months ago
Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
Patrik Spieß, Dinh Khoa Nguyen, Ingo Weber, ...
ICRA
2009
IEEE
126views Robotics» more  ICRA 2009»
14 years 2 months ago
Design and simulation of a joint-coupled orthosis for regulating FES-aided gait
—A hybrid functional electrical stimulation (FES)/orthosis system is being developed which combines two channels of (surface-electrode-based) electrical stimulation with a comput...
Ryan J. Farris, Hugo A. Quintero, Thomas J. Withro...
CDC
2010
IEEE
160views Control Systems» more  CDC 2010»
13 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
JCM
2008
104views more  JCM 2008»
13 years 8 months ago
An OFDM Symbol Design for Reduced Complexity MMSE Channel Estimation
In this paper we revisit the minimum mean square error (MMSE) pilot-aided channel estimation for broadband orthogonal frequency division multiplexing (OFDM) systems. The careful de...
Carlos Ribeiro, Atílio Gameiro
AISC
2008
Springer
13 years 10 months ago
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
Lucas Dixon, Ross Duncan