The following pages link to Xenofon D. Koutsoukos (Q483960):
Displayed 41 items.
- Item:Q483960 (redirect page) (← links)
- Sensor placement for fault location identification in water networks: a minimum test cover approach (Q311945) (← links)
- Discussion on: ``Safety verification for probabilistic hybrid systems'' (Q389836) (← links)
- Optimal and efficient adaptation in distributed real-time systems with discrete rates (Q483961) (← links)
- An event-based distributed diagnosis framework using structural model decomposition (Q490646) (← links)
- Reachability analysis of stochastic hybrid systems: a biodiesel production system (Q629649) (← links)
- Timed Petri nets in hybrid systems: Stability and supervisory control (Q1272968) (← links)
- Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions (Q1404383) (← links)
- Online model learning of buildings using stochastic hybrid systems based on Gaussian processes (Q1794156) (← links)
- Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study (Q1953740) (← links)
- Resilient distributed vector consensus using centerpoint (Q2063807) (← links)
- Strong structural controllability of networks: comparison of bounds using distances and zero forcing (Q2097717) (← links)
- Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems (Q2304049) (← links)
- Reachability analysis of uncertain systems using bounded-parameter Markov decision processes (Q2389641) (← links)
- Hierarchical control of multiple resources in distributed real-time and embedded systems (Q2481264) (← links)
- An invariant-based approach to the design of hybrid control systems (Q2716783) (← links)
- (Q2896024) (← links)
- (Q2896025) (← links)
- Probabilistic verification of a biodiesel production system using statistical model checking (Q2929958) (← links)
- Consensus in networked multi-agent systems with adversaries (Q2986741) (← links)
- Low complexity resilient consensus in networked multi-agent systems with adversaries (Q2986747) (← links)
- Resilient synchronization in robust networked multi-agent systems (Q2986907) (← links)
- Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems (Q2988968) (← links)
- Optimal Thresholds for Anomaly-Based Intrusion Detection in Dynamical Environments (Q3179203) (← links)
- Design of Load Forecast Systems Resilient Against Cyber-Attacks (Q3297648) (← links)
- Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process (Q3523126) (← links)
- Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes (Q3619461) (← links)
- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting (Q3624596) (← links)
- (Q4246817) (← links)
- (Q4417999) (← links)
- (Q4552478) (← links)
- Resilient First-Order Consensus and Weakly Stable, Higher Order Synchronization of Continuous-Time Networked Multiagent Systems (Q4630146) (← links)
- Improving Network Connectivity and Robustness Using Trusted Nodes With Application to Resilient Consensus (Q4630236) (← links)
- Design of stabilizing switching control laws for discrete- and continuous-time linear systems using piecewise-linear Lyapunov functions (Q4783554) (← links)
- (Q4953392) (← links)
- An Integrated Planning and Adaptive Resource Management Architecture for Distributed Real-Time Embedded Systems (Q4974877) (← links)
- Towards Controllable Distributed Real-Time Systems with Feasible Utilization Control (Q4974922) (← links)
- Adversarial Gaussian Process Regression in Sensor Networks (Q5075368) (← links)
- Design of piecewise linear hybrid dynamical systems using a control regulator approach (Q5704423) (← links)
- Hybrid Systems: Computation and Control (Q5898991) (← links)
- Computation of the Distance-Based Bound on Strong Structural Controllability in Networks (Q6055273) (← links)