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

Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK

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

• Markov models
• Probability
• Dynamic programming
• Markov processes
• Stochastic control
• Markov decision process
• Markov chain
• Linear temporal logic
• S2
• Reinforcement learning
• S0

Research Scientist Highly Automated Driving The KIT has long been regarded as a leading center for highly automated driving. The Research Group of Applied Technical Cognitive Systems at the Institute of Applied Informati

Source URL: www.aifb.kit.edu

The Continental Automated Buildings Association CABA White Paper Elevator Systems for Future Intelligent Buildings Part 1: Speed and Multi-dimensionality ABSTRACT

Source URL: www.aiib.net

Asymptotic Tracking of Non Sinusoidal Periodic References: a Switched Linear Internal Model approach Manuel Toniato CASY - Center for Research on Complex Automated Systems DEIS - Department of Electronics, Computer Scien

Source URL: www.casy.deis.unibo.it

The Continental Automated Buildings Association CABA White Paper Elevator Systems for Future Intelligent Buildings Part 3: Dispatchers and Energy Conservation ABSTRACT

Source URL: www.aiib.net

Where are we now? How good (robust) is your neural net? [1] Pei et. al., DeepXplore: Automated Whitebox Testing of Deep Learning Systems, SOSP 2017

Source URL: www.sri.inf.ethz.ch

AUTOMATED DRIVING SYSTEMS A Vision for Safety 2.0 INTRODUCTORY MESSAGE

Source URL: www.nhtsa.gov

• Transport
• Land transport
• Car safety
• Automation
• Road safety
• Robotics
• Self-driving car
• National Highway Traffic Safety Administration
• Automated driving system
• Federal Motor Carrier Safety Administration
• Vehicular automation
• Road traffic safety

Starfield Technologies Automated Domain Validation Testing Procedures This document describes the systems and processes that Starfield Technologies uses to verify the integrity of our domain validation process.

Source URL: certs.godaddy.com

Nuovo ciclo di seminari di ricerca 2008 sui sistemi di automazione complessi Come ogni anno il Centro di ricerca CASY (Complex Automated Systems), associato al DEIS, presenta un ricco calendario di seminari in cui i prot

Source URL: www.casy.deis.unibo.it