Sciweavers

3199 search results - page 180 / 640
» Variability in Automation System Models
Sort
View
ICLP
2010
Springer
15 years 10 months ago
Logic Programming Foundations of Cyber-Physical Systems
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
Neda Saeedloei
ICSE
2005
IEEE-ACM
16 years 6 months ago
Explicit assumptions enrich architectural models
Design for change is a well-known adagium in software engineering. We separate concerns, employ well-designed interfaces, and the like to ease evolution of the systems we build. W...
Patricia Lago, Hans van Vliet
PRL
2006
88views more  PRL 2006»
15 years 6 months ago
Physical optics modelling of millimetre-wave personnel scanners
We describe the physical-optics modelling of a millimetre-wave imaging system intended to enable automated detection of threats hidden under clothes. This paper outlines the theor...
Beatriz Grafulla-González, Katia Lebart, An...
EUROMICRO
2006
IEEE
15 years 10 months ago
A UML Profile and a Methodology for Real-Time Systems Design
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
Cesare Bartolini, Antonia Bertolino, Guglielmo De ...
ICARCV
2008
IEEE
170views Robotics» more  ICARCV 2008»
16 years 26 days ago
Mixed state estimation for a linear Gaussian Markov model
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...
Argyris Zymnis, Stephen P. Boyd, Dimitry M. Gorine...