2500 search results - page 32 / 500 » Specifying Behavior in C |
MCS
2006
Springer
13 years 9 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
ENTCS
2006
13 years 9 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— The purpose of this paper is to discuss how Willems’ behavioral modeling might be applied to physical systems governed by the laws of quantum physics. A quantum behavior is s...
BIRTHDAY
2006
Springer
14 years 28 days ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- Given a plant, together with an exosystem generating the disturbances and the reference signals, the problem of asymptotic tracking and regulation is to find a controlle...