Finding Resilient and Energy-saving Control Strategies in Smart Homes
暂无分享,去创建一个
[1] Anand Swaroop Pandey. Petri Net Model for Smart Grid System , 2014 .
[2] Thomas M. Chen,et al. Petri Net Modeling of Cyber-Physical Attacks on Smart Grid , 2011, IEEE Transactions on Smart Grid.
[3] Prashant J. Shenoy,et al. SmartCharge: Cutting the electricity bill in smart homes with energy storage , 2012, 2012 Third International Conference on Future Systems: Where Energy, Computing and Communication Meet (e-Energy).
[4] Roberto Nardone,et al. µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling , 2016 .
[5] Chresten Træholt,et al. Simulation Tool For Energy Consumption and Production: The development of a simulation tool for measuring the impact of a smart grid on a building , 2013 .
[6] Frank Ortmeier,et al. Multi-objective Optimization of Formal Specifications , 2012, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering.
[7] Siddharth Sridhar,et al. Cyber–Physical System Security for the Electric Power Grid , 2012, Proceedings of the IEEE.
[8] Pierluigi Siano,et al. Failure Identification in Smart Grids Based on Petri Net Modeling , 2011, IEEE Transactions on Industrial Electronics.
[9] Roberto Nardone,et al. Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications , 2013, 2013 27th International Conference on Advanced Information Networking and Applications Workshops.
[10] Robert Schober,et al. Optimal and autonomous incentive-based energy consumption scheduling algorithm for smart grid , 2010, 2010 Innovative Smart Grid Technologies (ISGT).
[11] Vincenzo De Florio,et al. Antifragility = Elasticity + Resilience + Machine Learning: Models and Algorithms for Open System Fidelity , 2014, ANT/SEIT.
[12] Sumit Gulwani,et al. From program verification to program synthesis , 2010, POPL '10.
[13] Alagan Anpalagan,et al. Handbook of Green Information and Communication Systems , 2012 .
[14] John R. Koza,et al. Genetic programming as a means for programming computers by natural selection , 1994 .
[15] Silvano Chiaradonna,et al. Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems , 2011, Int. J. Crit. Infrastructure Prot..
[16] Alyson G. Wilson,et al. A fully Bayesian approach for combining multilevel failure information in fault tree quantification and optimal follow-on resource allocation , 2004, Reliab. Eng. Syst. Saf..
[17] Silvano Chiaradonna,et al. Definition, Implementation and Application of a Model-based Framework for the Analysis of Interdependencies in Electric Power Systems Protection , 2011 .
[18] Stefano Marrone,et al. Cost-energy modelling and profiling of smart domestic grids , 2016, Int. J. Grid Util. Comput..
[19] Xuemin Shen,et al. Dependability Analysis of Control Center Networks in Smart Grid Using Stochastic Petri Nets , 2012, IEEE Transactions on Parallel and Distributed Systems.
[20] Matteo Sereno,et al. Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis , 2001, Discret. Event Dyn. Syst..