Sciweavers

4348 search results - page 158 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
82
Voted
ICRA
2002
IEEE
101views Robotics» more  ICRA 2002»
15 years 10 months ago
Modeling of Complex Automation Systems using Colored State Charts
Olga Fengler, Wolfgang Fengler, Vesselka Duridanov...
ENGL
2008
153views more  ENGL 2008»
15 years 5 months ago
Neural Network NARMA Control of a Gyroscopic Inverted Pendulum
The objective herein is to demonstrate the feasibility of a real-time digital control of an inverted pendulum for modeling and control, with emphasis on nonlinear auto regressive m...
F. Chetouane, S. Darenfed
CONCUR
2012
Springer
13 years 7 months ago
Avoiding Shared Clocks in Networks of Timed Automata
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
Sandie Balaguer, Thomas Chatain
154
Voted
EMSOFT
2005
Springer
15 years 10 months ago
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
Ernesto Wandeler, Lothar Thiele
128
Voted
GI
2001
Springer
15 years 9 months ago
Specifying Component Invariants with OCL
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
Rolf Hennicker, Hubert Baumeister, Alexander Knapp...