kth.sePublications
Change search
Link to record
Permanent link

Direct link
Weimer, James
Publications (8 of 8) Show all publications
Pajic, M., Weimer, J., Bezzo, N., Sokolsky, O., Pappas, G. J. & Lee, I. (2017). Design and Implementation of Attack-Resilient Cyberphysical Systems WITH A FOCUS ON ATTACk-RESILIENT STATE ESTIMATORS. IEEE CONTROL SYSTEMS MAGAZINE, 37(2), 66-81
Open this publication in new window or tab >>Design and Implementation of Attack-Resilient Cyberphysical Systems WITH A FOCUS ON ATTACk-RESILIENT STATE ESTIMATORS
Show others...
2017 (English)In: IEEE CONTROL SYSTEMS MAGAZINE, ISSN 1066-033X, Vol. 37, no 2, p. 66-81Article in journal (Refereed) Published
Place, publisher, year, edition, pages
IEEE, 2017
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:kth:diva-208263 (URN)10.1109/MCS.2016.2643239 (DOI)000398902900004 ()2-s2.0-85016322266 (Scopus ID)
Note

QC 20170622

Available from: 2017-06-22 Created: 2017-06-22 Last updated: 2022-06-27Bibliographically approved
Weimer, J., Xu, Y., Fischione, C., Johansson, K. H., Ljungberg, P., Donovan, C., . . . Fahlén, L. E. (2012). A virtual laboratory for micro-grid information and communication infrastructures. In: 3rd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies (ISGT Europe), 2012. Paper presented at IEEE PES Innovative Smart Grid Technologies Europe, Berlin, Germany,14-17 Oct. 2012 (pp. 1-6). IEEE conference proceedings
Open this publication in new window or tab >>A virtual laboratory for micro-grid information and communication infrastructures
Show others...
2012 (English)In: 3rd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies (ISGT Europe), 2012, IEEE conference proceedings, 2012, p. 1-6Conference paper, Published paper (Refereed)
Abstract [en]

Testing smart grid information and communication (ICT) infrastructures is imperative to ensure that they meet industry requirements and standards and do not compromise the grid reliability. Within the micro-grid, this requires identifying and testing ICT infrastructures for communication between distributed energy resources, building, substations, etc. To evaluate various ICT infrastructures for micro-grid deployment, this work introduces the Virtual Micro-Grid Laboratory (VMGL) and provides a preliminary analysis of Long-Term Evolution (LTE) as a micro-grid communication infrastructure.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2012
Series
IEEE PES Innovative Smart Grid Technologies Conference Europe, ISSN 2165-4816
Keywords
Home appliances, Laboratories, Load management, Logic gates, Smart grids, Smart homes
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:kth:diva-111467 (URN)10.1109/ISGTEurope.2012.6465836 (DOI)000316564100232 ()2-s2.0-84874672477 (Scopus ID)978-1-4673-2596-7 (ISBN)
Conference
IEEE PES Innovative Smart Grid Technologies Europe, Berlin, Germany,14-17 Oct. 2012
Note

QC 20130405

Available from: 2013-04-05 Created: 2013-01-11 Last updated: 2024-03-15Bibliographically approved
Weimer, J., Ahmadi, A., Araujo, J., Mele, F., Papale, D., Shames, I., . . . Johansson, K. H. (2012). Active actuator fault detection and diagnostics in HVAC systems. In: BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings. Paper presented at ACM Workshp On Embedded Sensing Systems For Energy-Efficiency In Buildings, Toronto, Canada (pp. 107-114). Association for Computing Machinery (ACM)
Open this publication in new window or tab >>Active actuator fault detection and diagnostics in HVAC systems
Show others...
2012 (English)In: BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, Association for Computing Machinery (ACM), 2012, p. 107-114Conference paper, Published paper (Refereed)
Abstract [en]

This paper introduces a new method for performing actuator fault detection and diagnostics (FDD) in heating ventilation and air conditioning (HVAC) systems. The proposed actuator FDD strategy, for testing whether an actuator is stuck in a single position, uses a two-tier approach that includes a dynamic model-based detector and a fast-deciding steady-state detector. The model-based detector is formulated to provide detection performance that asymptotically bounds both the probability of miss and probability of false alarm. To provide a quick confirmation the actuator is working, the steady-state detector utilizes a goodness-of-fit detection strategy to decide if the measurements could be described by an actuator failure. An architecture is introduced that requires multiple steady-state detection experiments to decide that the measurements could be explained by an actuator failure before performing model-based detection. An experimental test bed using a the KTH Royal Institute of Technology campus HVAC system is described and used to evaluate the steady-state and model-based detectors. The experimental test bed is utilized to identify a building dynamics model, that is employed through monte carlo analysis, to characterize the detection performance of both the model-based detector and the steady-state detector.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2012
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:kth:diva-111463 (URN)10.1145/2422531.2422551 (DOI)2-s2.0-84872919849 (Scopus ID)978-1-4503-1170-0 (ISBN)
Conference
ACM Workshp On Embedded Sensing Systems For Energy-Efficiency In Buildings, Toronto, Canada
Funder
ICT - The Next Generation
Note

QC 20130114

Available from: 2013-01-14 Created: 2013-01-11 Last updated: 2024-03-18Bibliographically approved
Weimer, J., Kar, S. & Johansson, K. H. (2012). Distributed Detection and Isolation of Topology Attacks in Power Networks. In: HiCoNS'12 - Proceedings of the 1st ACM International Conference on High Confidence Networked Systems: . Paper presented at 2012 1st ACM International Conference on High Confidence Networked Systems, HiCoNS'12; Beijing; 17 April 2012 through 19 April 2012 (pp. 65-71). Association for Computing Machinery (ACM)
Open this publication in new window or tab >>Distributed Detection and Isolation of Topology Attacks in Power Networks
2012 (English)In: HiCoNS'12 - Proceedings of the 1st ACM International Conference on High Confidence Networked Systems, Association for Computing Machinery (ACM), 2012, p. 65-71Conference paper, Published paper (Refereed)
Abstract [en]

This paper addresses the issue of detecting and isolating topology attacks in power networks. A topology attack, unlike a data attack and power injection attack, alters the physical dynamics of the power network by removing bus interconnections. These attacks can manifest as both cyber and physical attacks. A physical topology attack occurs when a bus interconnection is physically broken, while a cyber topology attack occurs when incorrect information about the network topology is transmitted to the system estimator and incorporated as the truth. To detect topology attacks, a stochastic hypothesis testing problem is considered assuming noisy measurements are obtained by periodically sampling a dynamic process described by the networked swing equation dynamics, modified to assume stochastic power injections. A centralized approach to network topology detection and isolation is introduced as a two-part scheme consisting of topology detection followed by topology isolation, assuming a topology attack exists. To address the complexity issues arising with performing centralized detection in large-scale power networks, a decentralized approach is presented that uses only local measurements to detect the presence of a topology attack. Simulation results illustrate that both the centralized and decentralized approaches accurately detect and isolate topology attacks.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2012
Keywords
Distributed hypothesis testing, Distributed fault detection, Power networks
National Category
Computer Sciences
Identifiers
urn:nbn:se:kth:diva-96746 (URN)10.1145/2185505.2185516 (DOI)000304070900008 ()2-s2.0-84860619383 (Scopus ID)978-1-4503-1263-9 (ISBN)
Conference
2012 1st ACM International Conference on High Confidence Networked Systems, HiCoNS'12; Beijing; 17 April 2012 through 19 April 2012
Funder
ICT - The Next Generation
Note

QC 20120613

Available from: 2012-06-13 Created: 2012-06-11 Last updated: 2024-03-18Bibliographically approved
Weimer, J., Araujo, J. & Johansson, K. H. (2012). Distributed event-triggered estimation in networked systems. In: IFAC Proceedings Volumes (IFAC-PapersOnline): . Paper presented at 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'12; Eindhoven; 6 June 2012 through 8 June 2012 (pp. 178-185). IFAC
Open this publication in new window or tab >>Distributed event-triggered estimation in networked systems
2012 (English)In: IFAC Proceedings Volumes (IFAC-PapersOnline), IFAC , 2012, p. 178-185Conference paper, Published paper (Refereed)
Abstract [en]

This paper examines distributed event-triggered estimation over wireless sensor networks. In such systems an efficient utilization of the wireless communications must be performed since energy consumption and communication bandwidth are limit resources. We pose a global event-triggered communication policy for state estimation that minimizes a weighted function of the network energy consumption and the number of transmissions subject to constraints on the estimator performance. The global communication policy determines when sensors transmit measurements to the central estimator using a sensor-to-estimator communication channel as well as when sensors received other sensors' measurements (which have been transmitted to the central estimator) using a estimator-to-sensor communication channel. A distributed 1-step greedy heuristic is introduced for the proposed global minimization problem such that sensors determine their respective communication policies using only the local information available at each sensor. Simulation results demonstrate that the number of sensor transmissions can be reduced at a potential increase in network energy consumption (number of sensor transmission and receptions) with the added benefit of reducing network congestion.

Place, publisher, year, edition, pages
IFAC, 2012
Series
IFAC Proceedings Volumes (IFAC-PapersOnline), ISSN 1474-6670
Keywords
Distributed event-triggered, Networked systems, State estimation
National Category
Engineering and Technology
Identifiers
urn:nbn:se:kth:diva-90300 (URN)10.3182/20120606-3-NL-3011.00099 (DOI)2-s2.0-84866056371 (Scopus ID)9783902823007 (ISBN)
Conference
4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'12; Eindhoven; 6 June 2012 through 8 June 2012
Funder
ICT - The Next Generation
Note

QC 20121018

Available from: 2012-02-22 Created: 2012-02-22 Last updated: 2024-03-18Bibliographically approved
Weimer, J. E., Sinopoli, B. & Krogh, B. H. (2011). Large-scale source localization with a wireless sensor network application. In: IFAC Proceedings Volumes: (IFAC-PapersOnline). Paper presented at 18th IFAC World Congress; Milano, Italy, 28 August 2011 - 2 September, 2011 (pp. 4278-4283). (PART 1)
Open this publication in new window or tab >>Large-scale source localization with a wireless sensor network application
2011 (English)In: IFAC Proceedings Volumes: (IFAC-PapersOnline), 2011, no PART 1, p. 4278-4283Conference paper, Published paper (Refereed)
Abstract [en]

This paper concerns the problem of large-scale source localization arising when many potential sources must be classified as either active or inactive such that the probability of missing an active source is bounded. A new iterative heuristic called the Iterative Source Localization Procedure (ISLoP) is introduced that reduces the complexity of a source localization problem with J potential sources from 2 J to J per iteration, while also providing a local bounds on the maximum probability of a missed source. The ISLoP separates the source localization problem into a likelihood maximization problem followed by an active source localization problem. A diffusion example is used to demonstrate the performance of the ISLoP when compared to an estimation-based approach, where the heuristic is shown to have increasingly better performance as the bound on the maximum probability of a missed source is decreased. An experimental evaluation of the heuristic with respect to common wireless sensor networking errors is provided using a test bed implementation for a CO 2 sequestration site monitoring problem.

Series
IFAC Proceedings Volumes (IFAC-PapersOnline), ISSN 1474-6670 ; 18
Keywords
Detection, Source localization, Stochastic processes, Wireless sensor networks, Experimental evaluation, Maximization problem, Maximum probability, Potential sources, Site monitoring, Wireless sensor, Carbon dioxide, Equipment testing, Error detection, Random processes, Maximum likelihood estimation
National Category
Control Engineering
Identifiers
urn:nbn:se:kth:diva-149793 (URN)10.3182/20110828-6-IT-1002.03232 (DOI)2-s2.0-84866773300 (Scopus ID)9783902661937 (ISBN)
Conference
18th IFAC World Congress; Milano, Italy, 28 August 2011 - 2 September, 2011
Note

QC 20140828

Available from: 2014-08-28 Created: 2014-08-27 Last updated: 2024-03-18Bibliographically approved
Weimer, J., Araujo, J. & Hernandez, A. (2011). Periodic Constraint-Based Control Using Dynamic Wireless Sensor Scheduling. In: 2011 50th IEEE Conference on Decision and Control andEuropean Control Conference (CDC-ECC). Paper presented at 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC) Orlando, FL, USA, December 12-15, 2011 (pp. 4789-4796).
Open this publication in new window or tab >>Periodic Constraint-Based Control Using Dynamic Wireless Sensor Scheduling
2011 (English)In: 2011 50th IEEE Conference on Decision and Control andEuropean Control Conference (CDC-ECC), 2011, p. 4789-4796Conference paper, Published paper (Refereed)
Abstract [en]

Constraint-based control over wireless sensor networks(WSNs) require control strategies that achieve a desiredclosed-loop system performance while using minimal networkresources. In addition to constraints associated with distributedcontrol, WSNs have limitations on bandwidth, energy consumption,and transmission range. This paper introduces andexperimentally evaluates a new receding-horizon approach forperforming constraint-based control using a WSN. By leveragingthe system controllability, the receding-horizon controller isformulated as a mixed-integer programming problem which, ateach time step, simultaneously generates a control sequence andsensor selection schedule such that the desired performance isachieved while minimizing the energy required to perform dataacquisition and control. For systems containing many sensors,a multi-step state estimator is employed to implement thereceding-horizon controller using a conservative abstractionrelaxationapproach that simplifies the original mixed-integerprogramming problem into a convex quadratic programmingproblem. A wireless process control test bed consisting of8 coupled water tanks and 16 wireless sensors are used toexperimentally evaluate the receding-horizon controller.

National Category
Control Engineering
Identifiers
urn:nbn:se:kth:diva-89714 (URN)10.1109/CDC.2011.6161330 (DOI)000303506205066 ()2-s2.0-84860686080 (Scopus ID)
Conference
2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC) Orlando, FL, USA, December 12-15, 2011
Note

QC 20120330

Available from: 2012-02-15 Created: 2012-02-15 Last updated: 2024-03-18Bibliographically approved
Sou, K. C., Weimer, J., Sandberg, H. & Karl Henrik, J. (2011). Scheduling Smart Home Appliances Using Mixed Integer Linear Programming. In: 50th IEEE Conference on Decsion and Control and European Control Conference: . Paper presented at 50th IEEE Conference on Decsion and Control and European Control Conference. IEEE
Open this publication in new window or tab >>Scheduling Smart Home Appliances Using Mixed Integer Linear Programming
2011 (English)In: 50th IEEE Conference on Decsion and Control and European Control Conference, IEEE , 2011Conference paper, Published paper (Refereed)
Abstract [en]

This paper considers the minimum electricity costscheduling problem of smart home appliances. Operation characteristics,such as expected duration and peak power consumptionof the smart appliances, can be adjusted through a powerprofile signal. The optimal power profile signal minimizes cost,while satisfying technical operation constraints and consumerpreferences. Constraints such as enforcing uninterruptible andsequential operations are modeled in the proposed frameworkusing mixed integer linear programming (MILP). Several realisticscenarios based on actual spot price are considered,and the numerical results provide insight into tariff design.Computational issues and extensions of the proposed schedulingframework are also discussed.

Place, publisher, year, edition, pages
IEEE, 2011
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:kth:diva-47500 (URN)10.1109/CDC.2011.6161081 (DOI)000303506205124 ()2-s2.0-84860672659 (Scopus ID)
Conference
50th IEEE Conference on Decsion and Control and European Control Conference
Funder
TrenOp, Transport Research Environment with Novel PerspectivesICT - The Next Generation
Note

© 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. QC 20111111

Available from: 2012-01-23 Created: 2011-11-10 Last updated: 2024-03-18Bibliographically approved
Organisations

Search in DiVA

Show all publications