Sciweavers

1721 search results - page 29 / 345
» The fundamentals of hybrid systems modelers
Sort
View
IWSSD
2000
IEEE
15 years 2 months ago
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bu...
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
15 years 3 months ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
CDC
2010
IEEE
150views Control Systems» more  CDC 2010»
14 years 4 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...
TC
2010
14 years 4 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
IROS
2008
IEEE
94views Robotics» more  IROS 2008»
15 years 4 months ago
Reactive robot control with hybrid operational models in a seaport container terminal considering system reliability
— When robot maintenance impedes the operation of other robots in a seaport container terminal, the operational efficiency is reduced. Therefore, robot reliability is necessary....
Satoshi Hoshino, Jun Ota