DOIAbstract
published_or_final_versionElectrical and Electronic EngineeringMasterMaster of Philosoph
published_or_final_versionElectrical and Electronic EngineeringMasterMaster of Philosoph
For software development projects with very high correctness requirements (including safety requirem...
The paper presents the existing verification methods for control algorithms in power electronics sys...
Differential passivity is a property that allows to check with a pointwise criterion that a system i...
abstractpublished_or_final_versionElectrical and Electronic EngineeringMasterMaster of Philosoph
published_or_final_versionElectrical and Electronic EngineeringMasterMaster of Philosoph
The Best MPhil Thesis in the Faculties of Dentistry, Engineering, Medicine and Science (University ...
In recent years, with the ever increasing operating frequencies, signal-power integrity analysis in ...
This paper presents a new algorithm for passivity verification and enforcement on single-port macrom...
The complexity of electronic systems is rapidly reaching a point where it will be impossible to veri...
In the licensing of a programmable automation system different kind of evidence is collected and ana...
Rational models can be a cause of unstable time domain simulations if they are non-passive. One comm...
This paper presents a class of nonsmooth convex optimization methods for the passivity enforcement o...
With increasing design complexity, verification becomes a more and more important aspect of the desi...
Model checking is an automatic technique for verifying finite-state reactive systems, such as sequen...
10.1007/978-3-642-05089-3_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
For software development projects with very high correctness requirements (including safety requirem...
The paper presents the existing verification methods for control algorithms in power electronics sys...
Differential passivity is a property that allows to check with a pointwise criterion that a system i...
abstractpublished_or_final_versionElectrical and Electronic EngineeringMasterMaster of Philosoph
published_or_final_versionElectrical and Electronic EngineeringMasterMaster of Philosoph
The Best MPhil Thesis in the Faculties of Dentistry, Engineering, Medicine and Science (University ...
In recent years, with the ever increasing operating frequencies, signal-power integrity analysis in ...
This paper presents a new algorithm for passivity verification and enforcement on single-port macrom...
The complexity of electronic systems is rapidly reaching a point where it will be impossible to veri...
In the licensing of a programmable automation system different kind of evidence is collected and ana...
Rational models can be a cause of unstable time domain simulations if they are non-passive. One comm...
This paper presents a class of nonsmooth convex optimization methods for the passivity enforcement o...
With increasing design complexity, verification becomes a more and more important aspect of the desi...
Model checking is an automatic technique for verifying finite-state reactive systems, such as sequen...
10.1007/978-3-642-05089-3_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
For software development projects with very high correctness requirements (including safety requirem...
The paper presents the existing verification methods for control algorithms in power electronics sys...
Differential passivity is a property that allows to check with a pointwise criterion that a system i...
Add to ORKG