the proceedings contain 39 papers. the topics discussed include: applications of MetiTarski in the verification of control and hybridsystems;three-dimensional kneed bipedal walking: a hybrid geometric approach;safe a...
ISBN:
(纸本)9783642006012
the proceedings contain 39 papers. the topics discussed include: applications of MetiTarski in the verification of control and hybridsystems;three-dimensional kneed bipedal walking: a hybrid geometric approach;safe and secure networked controlsystems under denial-of-service attacks;actors without directors: a Kahnian view of heterogeneous systems;stability analysis of networked controlsystems using a switched linear systems approach;parameter synthesis for hybridsystems with an application to Simulink models;convergence of distributed WSN algorithms: the wake-up scattering problem;optimal boundary control of convention-reaction transport systems with binary control functions;synthesis of trajectory-dependent control Lyapunov functions by a single linear program;decompositional construction of Lyapunov functions for hybridsystems;and hybrid modeling, identification, and predictive control: an application to hybrid electric vehicle energy management.
the proceedings contain 30 papers. the topics discussed include: compositional safety analysis using barrier certificates;transcendental inductive invariants generation for non-linear differential and hybridsystems;a...
ISBN:
(纸本)9781450312202
the proceedings contain 30 papers. the topics discussed include: compositional safety analysis using barrier certificates;transcendental inductive invariants generation for non-linear differential and hybridsystems;avoiding geometric intersection operations in reachability analysis of hybridsystems;reachability games for linear hybridsystems;language-guided controller synthesis for discrete-time linear systems;a generic ellipsoid abstract domain for linear time invariant systems;falsification of temporal properties of hybridsystems using the cross-entropy method;parameter estimation for stochastic hybrid models of biochemical reaction networks;algebraic analysis on asymptotic stability of switched hybridsystems;probabilistic invariance of mixed deterministic-stochastic dynamical systems;regularization of Bellman equations for infinite-horizon probabilistic properties;and a symbolic approach to the design of nonlinear networked controlsystems.
the 19thinternationalconference on hybridsystems: computation and control (HSCC 2016) was held in Vienna, Austria from April 12?14, 2016. HSCC 2016 was part of the Eighth Cyber-Physical systems Week (CPS Week), alo...
详细信息
the 19thinternationalconference on hybridsystems: computation and control (HSCC 2016) was held in Vienna, Austria from April 12?14, 2016. HSCC 2016 was part of the Eighth Cyber-Physical systems Week (CPS Week), alongside the internationalconference on Cyber-Physical systems, the internationalconference on Information Processing in Sensor Networks, the Real-Time and Embedded Technology and Applications Symposium, and additional CPS-related workshops. Forty-five Program Committee (PC) members helped to provide at least four reviews for each of the 65 submitted contributions.
Practice and research indicate that many IT projects encounter problems. It is a complex world where we see (massive) budget overruns, major issues with meeting schedules and deliveries that do not meet the recipients...
详细信息
the proceedings contain 41 papers. the topics discussed include: limited-information control of hybridsystems via reachable set propagation;resilient synchronization in robust networked multi-agent systems;learning n...
ISBN:
(纸本)9781450315678
the proceedings contain 41 papers. the topics discussed include: limited-information control of hybridsystems via reachable set propagation;resilient synchronization in robust networked multi-agent systems;learning nonlinear hybridsystems: from sparse optimization to support vector regression;mining requirements from closed-loop control models;on the decidability of stability of hybridsystems;hybridcontrol Lyapunov functions for the stabilization of hybridsystems;aircraft electric power testbed for validating automatically synthesized reactive control protocols*;towards sensitivity analysis of hybridsystems using Simulink;a toolbox for simulation of hybridsystems in Matlab/Simulink;stabhyli - a tool for automatic stability verification of non-linear hybridsystems*;and a stochastic hybrid system model of collective transport in the desert ant aphaenogaster cockerelli.
the proceedings contain 29 papers. the topics discussed include: forward inner-approximated reachability of non-linear continuous systems;on the polytope escape problem for continuous linear dynamical systems;Sapo: re...
ISBN:
(纸本)9781450345903
the proceedings contain 29 papers. the topics discussed include: forward inner-approximated reachability of non-linear continuous systems;on the polytope escape problem for continuous linear dynamical systems;Sapo: reachability computation and parameter synthesis of polynomial dynamical systems;forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms;controller synthesis for reward collecting Markov processes in continuous space;reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision;and statistical verification of the Toyota powertrain control verification benchmark.
the proceedings contain 35 papers. the topics discussed include: topological entropy of switched nonlinear systems;synthesis of hybrid automata with affine dynamics from time-series data;switching controller synthesis...
ISBN:
(纸本)9781450383394
the proceedings contain 35 papers. the topics discussed include: topological entropy of switched nonlinear systems;synthesis of hybrid automata with affine dynamics from time-series data;switching controller synthesis for delay hybridsystems under perturbations;compositional safety rules for inter-triggering hybrid automata;strategy synthesis for partially-known switched stochastic systems;optimal mixed discrete-continuous planning for linear hybridsystems;from post-conditions to post-region invariants: deductive verification of hybrid objects;verification and runtime assurance for dynamical systems with uncertainty;model-based reinforcement learning for approximate optimal control with temporal logic specifications;and learning Lyapunov functions for hybridsystems.
the proceedings contain 33 papers. the topics discussed include: computation of piecewise affine terminal cost functions for model predictive control;stabilizing discrete-time switched linear systems;an LQ sub-optimal...
ISBN:
(纸本)9781450327329
the proceedings contain 33 papers. the topics discussed include: computation of piecewise affine terminal cost functions for model predictive control;stabilizing discrete-time switched linear systems;an LQ sub-optimal stabilizing feedback law for switched linear systems;bisimilar symbolic models for stochastic controlsystems without state-space discretization;stochastic reachability based motion planning for multiple moving obstacle avoidance;a type-based analysis of causality loops in hybridsystems modelers;a hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities;stability analysis of large-scale networked controlsystems with local networks: a hybrid small-gain approach;model reduction of switched affine systems: a method based on balanced truncation and randomized optimization;component based design of hybridsystems: a case study on concurrency and coupling;and a bounded model checking tool for periodic sample-hold systems.
the proceedings contain 45 papers. the topics discussed include: reach-avoid problems with time-varying dynamics, targets and constraints;an improved algorithm for robust safety analysis of sampled data systems;what&#...
ISBN:
(纸本)9781450334334
the proceedings contain 45 papers. the topics discussed include: reach-avoid problems with time-varying dynamics, targets and constraints;an improved algorithm for robust safety analysis of sampled data systems;what's decidable about recursive hybrid automata?;bounded-rate multi-mode systems based motion planning;a sufficient condition for the boundedness of matrix products accepted by an automaton;efficient finite abstraction of mixed monotone systems;compositional construction of approximate abstractions;computing bisimulation functions using SOS optimization and delta-decidability over the reals;probabilistic diagnosability of hybridsystems;dynamic scheduling for networked controlsystems;closed loop analysis of control command software;and real-time control under clock offsets between sensors and controllers.
暂无评论