Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Sicun Gao1 , Le Xie2 , Armando Solar-Lezama1 , Dimitrios Serpanos3 , and Howard Shrobe1 Abstract—

Source URL: scungao.github.io

• Mathematics
• Electromagnetism
• Electric power
• Electrical engineering
• Power engineering
• Power-flow study
• Parameter
• Variable

Quantitative Multi-Objective Verification for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Mathematical analysis
• Linear temporal logic
• Mathematics
• Computation tree logic
• Omega language
• Distribution

Dynamical Systems Evolving Lai-Sang Young1 ABSTRACT. This is an expanded version of a presentation given at ICM2018. It discusses a number of results taken from a cross-section of the author’s work in Dynamical Systems

Source URL: eta.impa.br

• Dynamical systems
• Ergodic theory
• Mathematical analysis
• Metaphysics
• Mathematics
• Oseledets theorem
• Lyapunov exponent
• Measure-preserving dynamical system
• Invariant measure
• Ergodicity
• Axiom A
• Markov partition

Assume-Guarantee Verification for Probabilistic Systems Marta Kwiatkowska1 , Gethin Norman2 , David Parker1 , and Hongyang Qu1 1 2

Source URL: qav.comlab.ox.ac.uk

• Theoretical computer science
• Temporal logic
• Logic in computer science
• Linear temporal logic
• Finite automata
• PRISM model checker
• Randomized algorithm
• Computation tree logic
• PP
• Model checking
• Formal verification
• Probabilistic automaton

Modular SMT-Based Analysis of Nonlinear Hybrid Systems Kyungmin Bae Sicun Gao

Source URL: scungao.github.io

Controller Synthesis for Autonomous Systems Interacting with Human Operators ∗ Lu Feng Clemens Wiltsche

Source URL: www.prismmodelchecker.org

• Microeconomics
• Economy
• Avionics
• Robotics
• Unmanned aerial vehicle
• Wireless
• Pareto efficiency
• Workload
• Business

METR.systems  M-Gate | ​DATA SHEET  KEY FEATURES  ● Open system gateway for wired and wireless M-Bus/ OMS ● Reads common submetering network nodes via wired/wireless M-Bus

Source URL: metr.systems

• Computing
• Computer buses
• Wireless networking
• Computer network
• Telecommunications engineering
• Meter-Bus
• Information and communications technology
• USB
• Internet access
• Utility submeter
• IEEE 802.3
• Technology

Towards a P Systems Normal Form Preserving Step–by–step Behaviour Roberto Barbuti1 Andrea Maggiolo-Schettini1 1 Paolo Milazzo

Source URL: pages.di.unipi.it

• Chemistry
• Membrane technology
• Models of computation
• Water technology
• P system
• Membrane
• Mobile membranes

Education at a Glance: OECD Indicators is the authoritative source for information on the state of education around the world. It provides data on the structure, finances and performance of education systems in OECD and

Source URL: gpseducation.oecd.org

• Education
• Educational stages
• Tertiary education
• Vocational education
• OECD
• International Standard Classification of Education
• Education in Russia
• Education in South Korea

NSDI ’16: 13th USENIX Symposium on Networked Systems Design and Implementation March 16–18, 2016 Santa Clara, CA Message from the Program Co-Chairs. . . . . . . . . . . . . . . . . . . . . . . .

Source URL: www.usenix.org

• Higher education in China
• Computer science
• Ion Stoica
• Science and technology in the United States
• Databricks
• Ali Ghodsi
• Matei Zaharia
• Hari Balakrishnan
• Scott Shenker
• Tsinghua University
• Microsoft Research
• Carnegie Mellon University