Name
Abstract | ||
|---|---|---|
Cyber-physical systems are to be found in numerous applications throughout society.The principal barrier to develop trustworthy cyber-physical systems is the lack of expressive modelling and specification formalisms supported by efficient tools and methodologies.To overcome this barrier,we extend in this paper the modelling formalism of the tool UPPAAL-SMC to stochastic hybrid automata,thus providing the expressive power required for modelling complex cyber-physical systems.The application of Statistical Model Checking provides a highly scalable technique for analyzing performance properties of this formalisms.A particular kind of cyber-physical systems are Smart Grids which together with Intelligent,Energy Aware Buildings will play a major role in achieving an energy efficient society of the future.In this paper we present a framework in UPPAAL-SMC for energy aware buildings allowing to evaluate the performance of proposed control strategies in terms of their induced comfort and energy profiles under varying environmental settings(e.g.weather,user behavior etc.).To demonstrate the intended use and usefulness of our framework,we present an application to the Hybrid Systems Verification Benchmark. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/s11432-012-4742-0 | SCIENCE CHINA Information Sciences |
Keywords | Field | DocType |
smart grid,cyber physical systems,energy aware buildings,energy consumption,model checking,timed automata,performance evaluation,stochastic hybrid systems,statistical model checking | Mathematical optimization,Model checking,Smart grid,Computer science,Automaton,Theoretical computer science,Cyber-physical system,Formalism (philosophy),Rotation formalisms in three dimensions,Energy consumption,Distributed computing,Scalability | Journal |
Volume | Issue | ISSN |
55 | 12 | 1869-1919 |
Citations | PageRank | References |
21 | 1.10 | 11 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alexandre David | 1 | 1667 | 76.52 |
| Dehui Du | 2 | 147 | 16.40 |
| Kim Guldstrand Larsen | 3 | 4434 | 346.88 |
| Marius Mikučionis | 4 | 799 | 33.52 |
| Arne Skou | 5 | 1279 | 102.75 |