際際滷shows by User: joaoaguiam / http://www.slideshare.net/images/logo.gif 際際滷shows by User: joaoaguiam / Wed, 06 Mar 2013 16:51:32 GMT 際際滷Share feed for 際際滷shows by User: joaoaguiam Specifying the behaviour of building automation systems /slideshow/specifying-the-behaviour-of-building-automation-systems/16988306 presentation-130306165132-phpapp02
Building automation systems have known an upsurge of interesting due to their energy savings potential and for creating smart environments. However the development of this type of systems consists essentially of embedded systems in hardware controllers written in low level languages which are difficult to program. In situations where the actuation must vary continually based on the sensor inputs, development and testing becomes even harder. This work proposes a framework based on a declarative language to specify the behaviour of a building automation system. This language allows the specification of the behaviour without worrying about hardware details. This language and framework proposed herein use the notions of fuzzy logic and temporal logic. The specifications developed using the proposed language describe fuzzy control systems that interface with actuators through a different defuzzification process. We validate our proposal by developing a simulator of the language semantics and animating a case study specification of the control system of an automated office room. For further validation we used sensor reading traces and observed the behaviour of our animated specification, analysing graphic representations of the actuators along the simulation. Keywords: Building Automation Systems , Behaviour Specification , Fuzzy Logic , Fuzzy Control Systems , Fuzzy Contexts , Temporal Logic , Context-Aware Systems , Expert Systems]]>
Building automation systems have known an upsurge of interesting due to their energy savings potential and for creating smart environments. However the development of this type of systems consists essentially of embedded systems in hardware controllers written in low level languages which are difficult to program. In situations where the actuation must vary continually based on the sensor inputs, development and testing becomes even harder. This work proposes a framework based on a declarative language to specify the behaviour of a building automation system. This language allows the specification of the behaviour without worrying about hardware details. This language and framework proposed herein use the notions of fuzzy logic and temporal logic. The specifications developed using the proposed language describe fuzzy control systems that interface with actuators through a different defuzzification process. We validate our proposal by developing a simulator of the language semantics and animating a case study specification of the control system of an automated office room. For further validation we used sensor reading traces and observed the behaviour of our animated specification, analysing graphic representations of the actuators along the simulation. Keywords: Building Automation Systems , Behaviour Specification , Fuzzy Logic , Fuzzy Control Systems , Fuzzy Contexts , Temporal Logic , Context-Aware Systems , Expert Systems]]> Wed, 06 Mar 2013 16:51:32 GMT /slideshow/specifying-the-behaviour-of-building-automation-systems/16988306 joaoaguiam@slideshare.net(joaoaguiam) Specifying the behaviour of building automation systems joaoaguiam Building automation systems have known an upsurge of interesting due to their energy savings potential and for creating smart environments. However the development of this type of systems consists essentially of embedded systems in hardware controllers written in low level languages which are difficult to program. In situations where the actuation must vary continually based on the sensor inputs, development and testing becomes even harder. This work proposes a framework based on a declarative language to specify the behaviour of a building automation system. This language allows the specification of the behaviour without worrying about hardware details. This language and framework proposed herein use the notions of fuzzy logic and temporal logic. The specifications developed using the proposed language describe fuzzy control systems that interface with actuators through a different defuzzification process. We validate our proposal by developing a simulator of the language semantics and animating a case study specification of the control system of an automated office room. For further validation we used sensor reading traces and observed the behaviour of our animated specification, analysing graphic representations of the actuators along the simulation. Keywords: Building Automation Systems , Behaviour Specification , Fuzzy Logic , Fuzzy Control Systems , Fuzzy Contexts , Temporal Logic , Context-Aware Systems , Expert Systems <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/presentation-130306165132-phpapp02-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Building automation systems have known an upsurge of interesting due to their energy savings potential and for creating smart environments. However the development of this type of systems consists essentially of embedded systems in hardware controllers written in low level languages which are difficult to program. In situations where the actuation must vary continually based on the sensor inputs, development and testing becomes even harder. This work proposes a framework based on a declarative language to specify the behaviour of a building automation system. This language allows the specification of the behaviour without worrying about hardware details. This language and framework proposed herein use the notions of fuzzy logic and temporal logic. The specifications developed using the proposed language describe fuzzy control systems that interface with actuators through a different defuzzification process. We validate our proposal by developing a simulator of the language semantics and animating a case study specification of the control system of an automated office room. For further validation we used sensor reading traces and observed the behaviour of our animated specification, analysing graphic representations of the actuators along the simulation. Keywords: Building Automation Systems , Behaviour Specification , Fuzzy Logic , Fuzzy Control Systems , Fuzzy Contexts , Temporal Logic , Context-Aware Systems , Expert Systems
Specifying the behaviour of building automation systems from Joo Aguiam
]]> 796 5 https://cdn.slidesharecdn.com/ss_thumbnails/presentation-130306165132-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://cdn.slidesharecdn.com/profile-photo-joaoaguiam-48x48.jpg?cb=1563609726