DSSynth: An automated digital controller synthesis tool for physical plants

DSSynth: An automated digital controller synthesis tool for physical plants

We present an automated MATLAB Toolbox, named DSSynth (Digital-System Synthesizer), to synthesize sound digital controllers for physical plants that are represented as linear time-invariant systems with single input and output. In particular, DSSynth synthesizes digital controllers that are sound w....

Full description

Bibliographic Details
Main Authors:	Abate, A, Bessa, I, Cattaruzza, D, Chaves, L, Cordeiro, L, David, C, Kesseli, P, Kroening, D, Polgreen, E
Format:	Conference item
Published:	Association for Computing Machinery 2017

Similar Items

Automated formal synthesis of digital controllers for state-space physical plants
by: Abate, A, et al.
Published: (2017)

Sound and automated synthesis of digital stabilizing controllers for continuous plants
by: Abate, A, et al.
Published: (2017)

Automated formal synthesis of provably safe digital controllers for continuous plants
by: Abate, A, et al.
Published: (2019)

DSValidator: an automated counterexample reproducibility tool for digital systems
by: Chaves, L, et al.
Published: (2018)

Counterexample guided inductive synthesis modulo theories
by: Abate, A, et al.
Published: (2018)

JBMC: a bounded model checking tool for verifying Java bytecode
by: Cordeiro, L, et al.
Published: (2018)

Verifying Digital Systems with MATLAB
by: Chaves, L, et al.
Published: (2017)

Verifying digital systems with MATLAB
by: Chaves, L, et al.
Published: (2017)

Program synthesis for program analysis
by: David, C, et al.
Published: (2018)

Sound numerical computations in abstract acceleration
by: Cattaruzza, D, et al.
Published: (2017)

Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
by: Cattaruzza, D, et al.
Published: (2015)

Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
by: Cattaruzza, D, et al.
Published: (2020)

Danger invariants
by: David, C, et al.
Published: (2016)

Verification and synthesis of linear systems by abstract acceleration
by: Cattaruzza, D
Published: (2018)

Automated pipeline design
by: Kroening, D, et al.
Published: (2001)

Automated Pipeline Design
by: Kroening, D, et al.
Published: (2001)

Synthesis without syntactic templates
by: Polgreen, E
Published: (2019)

The effect of automated text messaging and goal setting on pedometer adherence and physical activity in patients with diabetes: A randomized controlled trial.
by: Linnea A Polgreen, et al.
Published: (2018-01-01)

StocHy: automated verification and synthesis of stochastic processes
by: Cauchi, N, et al.
Published: (2019)

A tool for rapid, automated characterization of population epigenomics in plants
by: Jack M. Colicchio, et al.
Published: (2023-08-01)

Formal non-fragile stability verification of digital control systems with uncertainty
by: Bessa, I, et al.
Published: (2016)

DeepSynth: Automata synthesis for automatic task segmentation in deep reinforcement learning
by: Hasanbeig, M, et al.
Published: (2021)

Verified software: theories, tools and experiments.
by: Kroening, D, et al.
Published: (2010)

Cartridge-based Automated Synthesis – A New Tool for the Synthetic Chemist
by: Benedikt M. Wanner, et al.
Published: (2020-10-01)

A Survey of Automated Techniques for Formal Software Verification.
by: D'Silva, V, et al.
Published: (2008)

A Survey of Automated Techniques for Formal Software Verification
by: D'Silva, V, et al.
Published: (2008)

A survey of automated techniques for formal software verification
by: D'Silva, V, et al.
Published: (2008)

Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees
by: Hasanbeig, M, et al.
Published: (2020)

Tools for Synthesis Planning, Automation, and Analytical Data Analysis
by: Miruna Cretu, et al.
Published: (2023-02-01)

Assisted coverage closure
by: Nellis, A, et al.
Published: (2016)

Assisted coverage closure.
by: Nellis, A, et al.
Published: (2016)

Benchmarks for cyber-physical systems: A modular model library for building automation systems
by: Cauchi, N, et al.
Published: (2018)

Towards automated bounded model checking of API implementations
by: Neville, D, et al.
Published: (2016)

Certified policy synthesis for general Markov decision processes: An application in building automation systems
by: Haesaert, S, et al.
Published: (2017)

Program synthesis: challenges and opportunities
by: Kroening, D, et al.
Published: (2017)

Logically-constrained neural fitted Q-iteration
by: Hasanbeig, M, et al.
Published: (2019)

Towards verifiable and safe model-free reinforcement learning
by: Hasanbeig, M, et al.
Published: (2020)

Cautious reinforcement learning with logical constraints
by: Hasanbeig, M, et al.
Published: (2020)

A ΔΣ Modulator Automated Synthesis Tool for Wireless Standards
by: Houda Daoud, et al.
Published: (2018-01-01)

Data-efficient Bayesian verification of parametric Markov chains
by: Polgreen, E, et al.
Published: (2016)