| Publication | Date of Publication | Type |
|---|
Computation of the Distance-Based Bound on Strong Structural Controllability in Networks
IEEE Transactions on Automatic Control | 2023-09-28 | Paper |
Strong structural controllability of networks: comparison of bounds using distances and zero forcing
Automatica | 2022-11-14 | Paper |
Adversarial Gaussian Process Regression in Sensor Networks
Game Theory and Machine Learning for Cyber Security | 2022-05-16 | Paper |
Resilient distributed vector consensus using centerpoint
Automatica | 2022-01-03 | Paper |
Design of load forecast systems resilient against cyber-attacks
Lecture Notes in Computer Science | 2020-07-20 | Paper |
Safety analysis of integrated adaptive cruise and Lane keeping control using multi-modal port-Hamiltonian systems
Nonlinear Analysis. Hybrid Systems | 2020-03-06 | Paper |
Improving Network Connectivity and Robustness Using Trusted Nodes With Application to Resilient Consensus
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Resilient First-Order Consensus and Weakly Stable, Higher Order Synchronization of Continuous-Time Networked Multiagent Systems
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Online model learning of buildings using stochastic hybrid systems based on Gaussian processes
Journal of Control Science and Engineering | 2018-10-15 | Paper |
An Integrated Planning and Adaptive Resource Management Architecture for Distributed Real-Time Embedded Systems
IEEE Transactions on Computers | 2017-08-08 | Paper |
Towards Controllable Distributed Real-Time Systems with Feasible Utilization Control
IEEE Transactions on Computers | 2017-08-08 | Paper |
Safety analysis of automotive control systems using multi-modal port-Hamiltonian systems
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Consensus in networked multi-agent systems with adversaries
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Low complexity resilient consensus in networked multi-agent systems with adversaries
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Resilient synchronization in robust networked multi-agent systems
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Optimal thresholds for anomaly-based intrusion detection in dynamical environments
Lecture Notes in Computer Science | 2016-12-21 | Paper |
Sensor placement for fault location identification in water networks: a minimum test cover approach
Automatica | 2016-09-13 | Paper |
An event-based distributed diagnosis framework using structural model decomposition
Artificial Intelligence | 2015-08-27 | Paper |
Optimal and efficient adaptation in distributed real-time systems with discrete rates
Real-Time Systems | 2014-12-17 | Paper |
Probabilistic verification of a biodiesel production system using statistical model checking
Mathematical and Computer Modelling of Dynamical Systems | 2014-11-17 | Paper |
Discussion on: ``Safety verification for probabilistic hybrid systems''
European Journal of Control | 2014-01-21 | Paper |
Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study
Journal of Control Science and Engineering | 2013-06-10 | Paper |
Local causal and Markov blanket induction for causal discovery and feature selection for classification. Part I: Algorithms and empirical evaluation
Journal of Machine Learning Research (JMLR) | 2012-07-13 | Paper |
Local causal and Markov blanket induction for causal discovery and feature selection for classification. Part II: Analysis and extensions
Journal of Machine Learning Research (JMLR) | 2012-07-13 | Paper |
Reachability analysis of stochastic hybrid systems: a biodiesel production system
European Journal of Control | 2011-03-09 | Paper |
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
Artificial Intelligence | 2009-07-17 | Paper |
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes
Modeling Decisions for Artificial Intelligence | 2009-04-07 | Paper |
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Hierarchical control of multiple resources in distributed real-time and embedded systems
Real-Time Systems | 2008-04-09 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Design of piecewise linear hybrid dynamical systems using a control regulator approach
Mathematical and Computer Modelling of Dynamical Systems | 2005-11-15 | Paper |
Design of stabilizing switching control laws for discrete- and continuous-time linear systems using piecewise-linear Lyapunov functions
International Journal of Control | 2003-08-21 | Paper |
Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
Discrete Event Dynamic Systems | 2003-08-21 | Paper |
| scientific article; zbMATH DE number 1956637 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1794378 (Why is no real title available?) | 2002-09-03 | Paper |
An invariant-based approach to the design of hybrid control systems
International Journal of Robust and Nonlinear Control | 2002-01-29 | Paper |
| scientific article; zbMATH DE number 1301618 (Why is no real title available?) | 2001-06-07 | Paper |
| scientific article; zbMATH DE number 1444351 (Why is no real title available?) | 2001-01-11 | Paper |
Timed Petri nets in hybrid systems: Stability and supervisory control
Discrete Event Dynamic Systems | 1999-03-07 | Paper |
