The following pages link to John Lygeros (Q290822):
Displaying 50 items.
- The stochastic reach-avoid problem and set characterization for diffusions (Q290823) (← links)
- On the computational complexity and generalization properties of multi-stage and stage-wise coupled scenario programs (Q313286) (← links)
- Multiplicity of equilibria in conjectural variations models of natural gas markets (Q322952) (← links)
- Isospectral flows on a class of finite-dimensional Jacobi matrices (Q385414) (← links)
- On mean square boundedness of stochastic linear systems with bounded controls (Q414586) (← links)
- Stochastic receding horizon control with output feedback and bounded controls (Q445037) (← links)
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
- Parameter identification for stochastic hybrid systems using randomized optimization: a case study on subtilin production by Bacillus subtilis (Q534379) (← links)
- Maximizing the probability of attaining a target prior to extinction (Q547917) (← links)
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (Q624936) (← links)
- Stochastic hybrid systems: a powerful framework for complex, large scale applications (Q629645) (← links)
- Approximate model checking of stochastic hybrid systems (Q629650) (← links)
- Convexity and convex approximations of discrete-time stochastic control problems with constraints (Q644284) (← links)
- Modeling and analysis of DNA replication (Q665142) (← links)
- On the sample size of random convex programs with structured dependence on the uncertainty (Q900216) (← links)
- Probabilistic safety and optimal control for survival analysis of bacillus subtilis (Q962200) (← links)
- Controllers for reachability specifications for hybrid systems (Q1301405) (← links)
- Capacity of random channels with large alphabets (Q1691253) (← links)
- On reachability and minimum cost optimal control (Q1888412) (← links)
- On the regularization of Zeno hybrid automata (Q1978482) (← links)
- Data-driven optimal control with a relaxed linear program (Q2063818) (← links)
- Incentive-based electric vehicle charging for managing bottleneck congestion (Q2095354) (← links)
- Distributed convergence to Nash equilibria in network and average aggregative games (Q2184508) (← links)
- On the asymptotic behavior of the Douglas-Rachford and proximal-point algorithms for convex optimization (Q2230792) (← links)
- Viable set computation for hybrid systems (Q2252963) (← links)
- A moment and sum-of-squares extension of dual dynamic programming with application to nonlinear energy storage problems (Q2286914) (← links)
- Robust optimal control with adjustable uncertainty sets (Q2374497) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Stabilization of a class of stochastic differential equations with Markovian switching (Q2504581) (← links)
- Hybrid control of networked embedded systems (Q2512007) (← links)
- A component-based approach to the design of networked control systems (Q2512106) (← links)
- Discussion on: ``Switched integrator control schemes for integrating plants'' (Q2512316) (← links)
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
- Stochastic system controller synthesis for reachability specifications encoded by random sets (Q2628510) (← links)
- Zeno hybrid systems (Q2716782) (← links)
- Efficient Approximation of Channel Capacities (Q2978670) (← links)
- Decentralized Convergence to Nash Equilibria in Constrained Deterministic Mean Field Control (Q2979386) (← links)
- Motion Planning for Continuous-Time Stochastic Processes: A Dynamic Programming Approach (Q2980449) (← links)
- A Tractable Fault Detection and Isolation Approach for Nonlinear Systems With Probabilistic Performance (Q2980631) (← links)
- A Scenario Approach for Non-Convex Control Design (Q2980661) (← links)
- On the Connection Between Compression Learning and Scenario Based Single-Stage and Cascading Optimization Problems (Q2982553) (← links)
- Inverse Parametric Optimization With an Application to Hybrid System Control (Q2982777) (← links)
- On Stability and Performance of Stochastic Predictive Control Techniques (Q2982858) (← links)
- Performance Bounds for the Scenario Approach and an Extension to a Class of Non-Convex Programs (Q2982877) (← links)
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions (Q2982915) (← links)
- On the Road Between Robust Optimization and the Scenario Approach for Chance Constrained Optimization Problems (Q2983091) (← links)
- On the connections between PCTL and dynamic programming (Q2985889) (← links)
- Modeling and verification of stochastic hybrid systems using HIOA (Q2985890) (← links)
- Impulsive control for nanopositioning (Q2986726) (← links)
- A stochastic reach-avoid problem with random obstacles (Q2986736) (← links)
