Latest Articles for Systems Engineering

This article discusses techniques for accurately estimating rare event probabilities.

Explore the role of bisimulations in simplifying complex models across various fields.

A look into contract-based design for hybrid systems and their complexities.

A new method for continual learning in AI systems enhancing retention of knowledge.

Using supermartingales to ensure the safety and efficiency of stochastic systems.

Discover how lazy abstraction and BRTDP improve MDP analysis efficiency.

This article discusses using certificates and witnesses in verifying multi-objective queries in MDPs.

A new approach to quantify uncertainty in systems using MDPs.

Learn how controlled invariants maintain safety in various continuous-time systems.

Learn how bisimulation can ease complex system verification.

New methods enhance monitoring speed for complex STL formulas using value freezing.

This paper evaluates the role of LLMs in modeling CPS requirements effectively.

A look into disjunctive timed networks and their verification methods.

Investigating the behavior and stability of contracting systems and their applications.

Exploring shortcuts to adiabaticity for faster system transitions without energy loss.

This article explains flatness and forward-flatness in system control using geometric tests.

Researchers develop predictive control strategies for nonlinear systems through signature transform techniques.

A method to design control inputs for efficient data collection and model accuracy.

Explore the importance of stability in networked systems and their applications.

Learn how data-driven designs improve controllers in large-scale systems.

Counterfactual explanations help unravel real-time system glitches.

Discover how asynchronous communication enhances system interaction and efficiency.

Learn how predictors enhance the reliability of modern adaptive systems.

A new approach to verify system behavior using implicit rankings.

Learn how ROMAS organizes agents for efficient database management.

Learn how efficient fault-tolerant search improves network reliability.

A deep dive into circuit algebras and their real-world applications.