Search
Search Results
-
Verification-guided Programmatic Controller Synthesis
We present a verification-based learning framework VEL that synthesizes safe programmatic controllers for environments with continuous state and... -
Deductive Controller Synthesis for Probabilistic Hyperproperties
Probabilistic hyperproperties specify quantitative relations between the probabilities of reaching different target sets of states from different... -
Runtime Verification Meets Controller Synthesis
Reactive synthesis guarantees correct-by-construction controllers from logical specifications, but is costly—2EXPTIME-complete in the size of the... -
Controller synthesis for linear temporal logic and steady-state specifications
The problem of deriving decision-making policies, subject to some formal specification of behavior, has been well-studied in the control synthesis,...
-
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints
There is a pressing need for learning controllers to endow systems with properties of safety and goal-reaching, which are crucial for many... -
Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation
The problem of automated reactive synthesis has been well studied by researchers. We consider a setting that is common in practice, wherein there is... -
A novel normalized versatile based innovative controller for nonlinear biological systems
In biomedical applications, the regulation of biological systems that contain Genetic Regulatory Networks (GRNs), protein formation, and pancreas...
-
Optimal Manufacturing Controller Synthesis Using Situation Calculus
In this paper, we discuss a framework for synthesising manufacturing process controllers using situation calculus, a well-known second-order logic... -
Optimal Deterministic Controller Synthesis from Steady-State Distributions
The formal synthesis of control policies is a classic problem that entails the computation of optimal strategies for an agent interacting in some...
-
Safety Controller Synthesis for a Mobile Manufacturing Cobot
We present a case study in which probabilistic model checking has been used to synthesise the correct-by-construction safety controller for a mobile... -
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
Automated synthesis of provably correct controllers for cyber-physical systems is crucial for deployment in safety-critical scenarios. However,... -
Layered Controller Synthesis for Dynamic Multi-agent Systems
In this paper we present a layered approach for multi-agent control problem, decomposed into three stages, each building upon the results of the... -
An intelligent optimized fractional order sliding mode controller for biological system
The biological system has attracted many researchers with a lot of smart advances in the control system field. The control approaches have been...
-
Enhancing aerial robots performance through robust hybrid control and metaheuristic optimization of controller parameters
Autonomous flying robots (AFRs) have captured significant interest owing to their agile maneuverability, adaptability, and economical viability....
-
WaVAEtable Synthesis
Timbral autoencoders, a class of generative model that learn the timbre distribution of audio data, are a current research focus in music technology;... -
Timed Automata Verification and Synthesis via Finite Automata Learning
We present algorithms for model checking and controller synthesis of timed automata, seeing a timed automaton model as a parallel composition of a... -
High-Level Synthesis
High-level synthesis (HLS) is the process of compiling a software program into a digital circuit. This chapter provides a view into the HLS design... -
Knor: reactive synthesis using Oink
We present an innovative approach to the reactive synthesis of parity automaton specifications, which plays a pivotal role in the synthesis of linear... -
Search and Explore: Symbiotic Policy Synthesis in POMDPs
This paper marries two state-of-the-art controller synthesis methods for partially observable Markov decision processes (POMDPs), a prominent model... -
On-Line Reoptimization of Mammalian Fed-Batch Culture Using a Nonlinear Model Predictive Controller
Fed-batch culture is widely used in biopharmaceutical production owing to its superior productivity; however, optimizing feeding trajectories remains...