Gotowe bibliografie tematyczne / Verification of control systems

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji
Raporty organizacyjne

Gotowa bibliografia na temat „Verification of control systems”

Autor: Grafiati

Data publikacji: 6 września 2023

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Verification of control systems”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Verification of control systems"

Chen, Mo, i Claire J. Tomlin. "Hamilton–Jacobi Reachability: Some Recent Theoretical Advances and Applications in Unmanned Airspace Management". Annual Review of Control, Robotics, and Autonomous Systems 1, nr 1 (28.05.2018): 333–58. http://dx.doi.org/10.1146/annurev-control-060117-104941.

Pełny tekst źródła

Streszczenie:

Autonomous systems are becoming pervasive in everyday life, and many of these systems are complex and safety-critical. Formal verification is important for providing performance and safety guarantees for these systems. In particular, Hamilton–Jacobi (HJ) reachability is a formal verification tool for nonlinear and hybrid systems; however, it is computationally intractable for analyzing complex systems, and computational burden is in general a difficult challenge in formal verification. In this review, we begin by briefly presenting background on reachability analysis with an emphasis on the HJ formulation. We then present recent work showing how high-dimensional reachability verification can be made more tractable by focusing on two areas of development: system decomposition for general nonlinear systems, and traffic protocols for unmanned airspace management. By tackling the curse of dimensionality, tractable verification of practical systems is becoming a reality, paving the way for more pervasive and safer automation.

Style APA, Harvard, Vancouver, ISO itp.

De Smet, Olivier, Jean-Jacques Lesage i Jean-Marc Roussel. "Formal Verification of Industrial Control Systems". IFAC Proceedings Volumes 34, nr 17 (wrzesień 2001): 183–88. http://dx.doi.org/10.1016/s1474-6670(17)33277-9.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Zhang, Chi, Wenjie Ruan i Peipei Xu. "Reachability Analysis of Neural Network Control Systems". Proceedings of the AAAI Conference on Artificial Intelligence 37, nr 12 (26.06.2023): 15287–95. http://dx.doi.org/10.1609/aaai.v37i12.26783.

Pełny tekst źródła

Streszczenie:

Neural network controllers (NNCs) have shown great promise in autonomous and cyber-physical systems. Despite the various verification approaches for neural networks, the safety analysis of NNCs remains an open problem. Existing verification approaches for neural network control systems (NNCSs) either can only work on a limited type of activation functions, or result in non-trivial over-approximation errors with time evolving. This paper proposes a verification framework for NNCS based on Lipschitzian optimisation, called DeepNNC. We first prove the Lipschitz continuity of closed-loop NNCSs by unrolling and eliminating the loops. We then reveal the working principles of applying Lipschitzian optimisation on NNCS verification and illustrate it by verifying an adaptive cruise control model. Compared to state-of-the-art verification approaches, DeepNNC shows superior performance in terms of efficiency and accuracy over a wide range of NNCs. We also provide a case study to demonstrate the capability of DeepNNC to handle a real-world, practical, and complex system. Our tool DeepNNC is available at https://github.com/TrustAI/DeepNNC.

Style APA, Harvard, Vancouver, ISO itp.

Hoxha, Bardh. "Verification and Control for Autonomous Mobile Systems". Electronic Proceedings in Theoretical Computer Science 361 (10.07.2022): 7–8. http://dx.doi.org/10.4204/eptcs.361.3.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

HASEGAWA, Masami. "S172026 SIL Verification of Safety Control Systems". Proceedings of Mechanical Engineering Congress, Japan 2013 (2013): _S172026–1—_S172026–4. http://dx.doi.org/10.1299/jsmemecj.2013._s172026-1.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Feketa, Petro, Sergiy Bogomolov i Thomas Meurer. "Safety Verification for Impulsive Systems". IFAC-PapersOnLine 53, nr 2 (2020): 1949–54. http://dx.doi.org/10.1016/j.ifacol.2020.12.2589.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Rasina, Irina Viktorovna, i Oles Vla\-di\-mi\-ro\-vich Fesko. "Sufficient relative minimum conditions for discrete-continuous control systems". Program Systems: Theory and Applications 11, nr 2 (10.05.2020): 61–73. http://dx.doi.org/10.25209/2079-3316-2020-11-2-61-73.

Pełny tekst źródła

Streszczenie:

In this paper, we derive sufficient relative minimum conditions for discrete-continuous control systems on the base of Krotov’s sufficient optimality conditions counterpart. These conditions can be used as verification conditions for suggested control mode and enable one to construct new numerical methods.

Style APA, Harvard, Vancouver, ISO itp.

Rawlings, Blake C., Jinkyung Kim, Il Moon i B. Erik Ydstie. "Symbolic Verification of Control Systems and Operating Procedures". Industrial & Engineering Chemistry Research 53, nr 13 (28.02.2014): 5299–310. http://dx.doi.org/10.1021/ie402998g.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Mosterman, Pieter J., Gautam Biswas i Janos Sztipanovits. "Hybrid Modeling and Verification of Embedded Control Systems". IFAC Proceedings Volumes 30, nr 4 (kwiecień 1997): 33–38. http://dx.doi.org/10.1016/s1474-6670(17)43608-1.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Norman, Gethin, David Parker i Xueyi Zou. "Verification and control of partially observable probabilistic systems". Real-Time Systems 53, nr 3 (8.03.2017): 354–402. http://dx.doi.org/10.1007/s11241-017-9269-4.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "Verification of control systems"

Wang, Xuan. "Verification of digital controller implementations /". Diss., CLICK HERE for online access, 2005. http://contentdm.lib.byu.edu/ETD/image/etd1073.pdf.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Koleini, Masoud. "Verification of temporal-epistemic properties of access control systems". Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3706/.

Pełny tekst źródła

Streszczenie:

Verification of access control systems against vulnerabilities has always been a challenging problem in the world of computer security. The complication of security policies in large- scale multi-agent systems increases the possible existence of vulnerabilities as a result of mistakes in policy definition. This thesis explores automated methods in order to verify temporal and epistemic properties of access control systems. While temporal property verification can reveal a considerable number of security holes, verification of epistemic properties in multi-agent systems enable us to infer about agents' knowledge in the system and hence, to detect unauthorized information flow. This thesis first presents a framework for knowledge-based verification of dynamic access control policies. This framework models a coalition-based system, which evaluates if a property or a goal can be achieved by a coalition of agents restricted by a set of permissions defined in the policy. Knowledge is restricted to the information that agents can acquire by reading system information in order to increase time and memory efficiency. The framework has its own model-checking method and is implemented in Java and released as an open source tool named \(\char{cmmi10}{0x50}\)\(\char{cmmi10}{0x6f}\)\(\char{cmmi10}{0x6c}\)\(\char{cmmi10}{0x69}\)\(\char{cmmi10}{0x56}\)\(\char{cmmi10}{0x65}\)\(\char{cmmi10}{0x72}\). In order to detect information leakage as a result of reasoning, the second part of this thesis presents a complimentary technique that evaluates access control policies over temporal-epistemic properties where the knowledge is gained by reasoning. We will demonstrate several case studies for a subset of properties that deal with reasoning about knowledge. To increase the efficiency, we develop an automated abstraction refinement technique for evaluating temporal-epistemic properties. For the last part of the thesis, we develop a sound and complete algorithm in order to identify information leakage in Datalog-based trust management systems.

Style APA, Harvard, Vancouver, ISO itp.

Lahijanian, Morteza M. "Formal verification and control of discrete-time stochastic systems". Thesis, Boston University, 2013. https://hdl.handle.net/2144/12804.

Pełny tekst źródła

Streszczenie:

Thesis (Ph.D.)--Boston University PLEASE NOTE: Boston University Libraries did not receive an Authorization To Manage form for this thesis or dissertation. It is therefore not openly accessible, though it may be available by request. If you are the author or principal advisor of this work and would like to request open access for it, please contact us at open-help@bu.edu. Thank you.
This thesis establishes theoretical and computational frameworks for formal verification and control synthesis for discrete-time stochastic systems. Given a temporal logic specification, the system is analyzed to determine the probability that the specification is achieved, and an input law is automatically generated to maximize this probability. The approach consists of three main steps: constructing an abstraction of the stochastic system as a finite Markov model, mapping the given specification onto this abstraction, and finding a control policy to maximize the probability of satisfying the specification. The framework uses Probabilistic Computation Tree Logic (PCTL) as the specification language. The verification and synthesis algorithms are inspired by the field of probabilistic model checking. In abstraction, a method for the computation of the exact transition probability bounds between the regions of interest in the domain of the stochastic system is first developed. These bounds are then used to construct an Interval-valued Markov Chain (IMC) or a Bounded-parameter Markov Decision Process (BMDP) abstraction for the system. Then, a representative transition probability is used to construct an approximating Markov chain (MC) for the stochastic system. The exact bound of the approximation error and an explicit expression for its grovvth over time are derived. To achieve a desired error value, an adaptive refinement algorithm that takes advantage of the linear dynamics of the system is employed. To verify the properties of the continuous domain stochastic system against a finite-time PCTL specification, IMC and BMDP verification algorithms are designed. These algorithms have low computational complexity and are inspired by the MC model checking algorithms. The low computational complexity is achieved by over approximating the probabilities of satisfaction. To increase the precision of the method, two adaptive refinement procedures are proposed. Furthermore, a method of generating the control strategy that maximizes the probability of satisfaction of a PCTL specification for Markov Decision Processes (MDPs) is developed. Through a similar method, a formal synthesis framework is constructed for continuous domain stochastic systems by utilizing their BMDP abstractions. These methodologies are then applied in robotics applications as a means of automatically deploying a mobile robot subject to noisy sensors and actuators from PCTL specifications. This technique is demonstrated through simulation and experimental case studies of deployment of a robot in an indoor environment. The contributions of the thesis include verification and synthesis frameworks for discrete time stochastic linear systems, abstraction schemes for stochastic systems to MCs, IMCs, and BMDPs, model checking algorithms with low computational complexity for IMCs and BMDPs against finite-time PCTL formulas, synthesis algorithms for Markov Decision Processes (MDPs) from PCTL formulas, and a computational framework for automatic deployment of a mobile robot from PCTL specifications. The approaches were validated by simulations and experiments. The algorithms and techniques in this thesis help to make discrete-time stochastic systems a more useful and effective class of models for analysis and control of real world systems.

Style APA, Harvard, Vancouver, ISO itp.

de, Carvalho Gomes Pedro, i Attilio Picoco. "Sound Extraction of Control-Flow Graphs from open Java Bytecode Systems". KTH, Teoretisk datalogi, TCS, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-104076.

Pełny tekst źródła

Streszczenie:

Formal verification techniques have been widely deployed as means to ensure the quality of software products. Unfortunately, they suffer with the combinatorial explosion of the state space. That is, programs have a large number of states, sometimes infinite. A common approach to alleviate the problem is to perform the verification over abstract models from the program. Control-flow graphs (CFG) are one of the most common models, and have been widely studied in the past decades. Unfortunately, previous works over modern programming languages, such as Java, have either neglected features that influence the control-flow, or do not provide a correctness argument about the CFG construction. This is an unbearable issue for formal verification, where soundness of CFGs is a mandatory condition for the verification of safety-critical properties. Moreover, one may want to extract CFGs from the available components of an open system. I.e., a system whose at least one of the components is missing. Soundness is even harder to achieve in this scenario, because of the unknown inter-dependences between software components. In the current work we present a framework to extract control-flow graphs from open Java Bytecode systems in a modular fashion. Our strategy requires the user to provide interfaces for the missing components. First, we present a formal definition of open Java bytecode systems. Next, we generalize a previous algorithm that performs the extraction of CFGs for closed programs to a modular set-up. The algorithm uses the user-provided interfaces to resolve inter-dependences involving missing components. Eventually the missing components will arrive, and the open system will become closed, and can execute. However, the arrival of a component may affect the soundness of CFGs which have been extracted previously. Thus, we define a refinement relation, which is a set of constraints upon the arrival of components, and prove that the relation guarantees the soundness of CFGs extracted with the modular algorithm. Therefore, the control-flow safety properties verified over the original CFGs still hold in the refined model. We implemented the modular extraction framework in the ConFlEx tool. Also, we have implemented the reusage from previous extractions, to enable the incremental extraction of a newly arrived component. Our technique performs substantial over-approximations to achieve soundness. Despite this, our test cases show that ConFlEx is efficient. Also, the extraction of the CFGs gets considerable speed-up by reusing results from previous analyses.

QC 20121029

Verification of Control-Flow Properties of Programs with Procedures(CVPP)

Style APA, Harvard, Vancouver, ISO itp.

Danielsson, Fredrik K. J. "Off-line programming, verification and optimisation of industrial control systems". Thesis, De Montfort University, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.269247.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Park, Taeshin 1966. "Formal verification and dynamic validation of logic-based control systems". Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/50358.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Ha, Vida Uyen 1980. "Verification of an attitude control system". Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/87408.

Pełny tekst źródła

Streszczenie:

Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003.
Includes bibliographical references (p. 74).
by Vida Uyen Ha.
M.Eng.and S.B.

Style APA, Harvard, Vancouver, ISO itp.

STESINA, FABRIZIO. "Design and verification of Guidance, Navigation and Control systems for space applications". Doctoral thesis, Politecnico di Torino, 2014. http://hdl.handle.net/11583/2540688.

Pełny tekst źródła

Streszczenie:

In the last decades, systems have strongly increased their complexity in terms of number of functions that can be performed and quantity of relationships between functions and hardware as well as interactions of elements and disciplines concurring to the definition of the system. The growing complexity remarks the importance of defining methods and tools that improve the design, verification and validation of the system process: effectiveness and costs reduction without loss of confidence in the final product are the objectives that have to be pursued. Within the System Engineering context, the modern Model and Simulation based approach seems to be a promising strategy to meet the goals, because it reduces the wasted resources with respect to the traditional methods, saving money and tedious works. Model Based System Engineering (MBSE) starts from the idea that it is possible at any moment to verify, through simulation sessions and according to the phase of the life cycle, the feasibility, the capabilities and the performances of the system. Simulation is used during the engineering process and can be classified from fully numerical (i.e. all the equipment and conditions are reproduced as virtual model) to fully integrated hardware simulation (where the system is represented by real hardware and software modules in their operational environment). Within this range of simulations, a few important stages can be defined: algorithm in the loop (AIL), software in the loop (SIL), controller in the loop (CIL), hardware in the loop (HIL), and hybrid configurations among those. The research activity, in which this thesis is inserted, aims at defining and validating an iterative methodology (based on Model and Simulation approach) in support of engineering teams and devoted to improve the effectiveness of the design and verification of a space system with particular interest in Guidance Navigation and Control (GNC) subsystem. The choice of focusing on GNC derives from the common interest and background of the groups involved in this research program (ASSET at Politecnico di Torino and AvioSpace, an EADS company). Moreover, GNC system is sufficiently complex (demanding both specialist knowledge and system engineer skills) and vital for whatever spacecraft and, last but not least the verification of its behavior is difficult on ground because strong limitations on dynamics and environment reproduction arise. Considering that the verification should be performed along the entire product life cycle, a tool and a facility, a simulator, independent from the complexity level of the test and the stage of the project, is needed. This thesis deals with the design of the simulator, called StarSim, which is the real heart of the proposed methodology. It has been entirely designed and developed from the requirements definition to the software implementation and hardware construction, up to the assembly, integration and verification of the first simulator release. In addition, the development of this technology met the modern standards on software development and project management. StarSim is a unique and self-contained platform: this feature allows to mitigate the risk of incompatibility, misunderstandings and loss of information that may arise using different software, simulation tools and facilities along the various phases. Modularity, flexibility, speed, connectivity, real time operation, fidelity with real world, ease of data management, effectiveness and congruence of the outputs with respect to the inputs are the sought-after features in the StarSim design. For every iteration of the methodology, StarSim guarantees the possibility to verify the behavior of the system under test thanks to the permanent availability of virtual models, that substitute all those elements not yet available and all the non-reproducible dynamics and environmental conditions. StarSim provides a furnished and user friendly database of models and interfaces that cover different levels of detail and fidelity, and supports the updating of the database allowing the user to create custom models (following few, simple rules). Progressively, pieces of the on board software and hardware can be introduced without stopping the process of design and verification, avoiding delays and loss of resources. StarSim has been used for the first time with the CubeSats belonging to the e-st@r program. It is an educational project carried out by students and researchers of the “CubeSat Team Polito” in which StarSim has been mainly used for the payload development, an Active Attitude Determination and Control System, but StarSim’s capabilities have also been updated to evaluate functionalities, operations and performances of the entire satellite. AIL, SIL, CIL, HIL simulations have been performed along all the phases of the project, successfully verifying a great number of functional and operational requirements. In particular, attitude determination algorithms, control laws, modes of operation have been selected and verified; software has been developed step by step and the bugs-free executable files have been loaded on the micro-controller. All the interfaces and protocols as well as data and commands handling have been verified. Actuators, logic and electrical circuits have been designed, built and tested and sensors calibration has been performed. Problems such as real time and synchronization have been solved and a complete hardware in the loop simulation test campaign both for A-ADCS standalone and for the entire satellite has been performed, verifying the satisfaction of a great number of CubeSat functional and operational requirements. The case study represents the first validation of the methodology with the first release of StarSim. It has been proven that the methodology is effective in demonstrating that improving the design and verification activities is a key point to increase the confidence level in the success of a space mission.

Style APA, Harvard, Vancouver, ISO itp.

Low, Marie Rose. "Self defence in open systems : protecting and sharing resources in a distributed open environment". Thesis, University of Hertfordshire, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.241623.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Hu, Zhongjun. "Switching-Based Harmonic Disturbance Rejection for Uncertain Systems: An Experimental Verification". The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1577987902093915.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Książki na temat "Verification of control systems"

Tabuada, Paulo. Verification and Control of Hybrid Systems. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

service), SpringerLink (Online, red. Verification and Control of Hybrid Systems: A Symbolic Approach. Boston, MA: Springer-Verlag US, 2009.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Lempert, Robert J. Emerging technology systems and arms control. Santa Monica, CA: Rand, 1991.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Apt, Kenneth E. A systems approach to chemical weapons verification. Los Alamos, N.M: Center for National Security Studies, Los Alamos National Laboratory, 1990.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Verification, validation, and testing of engineered systems. Hoboken, N.J: Wiley, 2010.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Danielsson, Fredrik K. J. Off-line programming, verification and optimisation of industrial control systems. Leicester: De Montfort University, 2002.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

M, Schwenk David, i US Army Engineering and Housing Support Center., red. Standard HVAC control systems commissioning and quality verification user guide. Fort Belvoir, VA: U.S. Army Engineering and Housing Support Center, 1994.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

L, Wilson C. Simple test procedure for image-based biometric verification systems. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1999.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

1944-, Wise John A., Hopkin V. David, Stager Paul, North Atlantic Treaty Organization. Scientific Affairs Division. i NATO Advanced Study Institute and Validation of Complex and Integrated Human-Machine Systems (1992 : Vimeiro, Lisbon, Portugal), red. Verification and validation of complex systems: Human factors issues. Berlin: Springer-Verlag, 1993.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

1944-, Wise John A., Hopkin V. David, Stager Paul i NATO Advanced Study Institute and Validation of Complex and Integrated Human-Machine Systems (1992 : Vimeiro, Lisbon, Portugal), red. Verification and validation of complex systems: Additional human factors issues. Daytona Beach, Fla: Embry-Riddle Aeronautical University Press, 1993.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Części książek na temat "Verification of control systems"

Yadegari, Babak, i Saumya Debray. "Control Dependencies in Interpretive Systems". W Runtime Verification, 312–29. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67531-2_19.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Tabuada, Paulo. "Verification". W Verification and Control of Hybrid Systems, 43–50. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_5.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Kurzhanski, Alexander B., i Pravin Varaiya. "Verification: Hybrid Systems". W Systems & Control: Foundations & Applications, 395–429. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10277-1_11.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Girard, Antoine, i George J. Pappas. "Verification Using Simulation". W Hybrid Systems: Computation and Control, 272–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11730637_22.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Tabuada, Paulo. "Control". W Verification and Control of Hybrid Systems, 51–70. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_6.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Tabuada, Paulo. "Systems". W Verification and Control of Hybrid Systems, 1–20. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_1.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Tabuada, Paulo. "Control problems". W Verification and Control of Hybrid Systems, 25–26. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_3.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Fehnker, Ansgar, i Franjo Ivančić. "Benchmarks for Hybrid Systems Verification". W Hybrid Systems: Computation and Control, 326–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24743-2_22.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Zutshi, Aditya, Sriram Sankaranarayanan i Ashish Tiwari. "Timed Relational Abstractions for Sampled Data Control Systems". W Computer Aided Verification, 343–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31424-7_27.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Majumdar, Rupak, i Majid Zamani. "Approximately Bisimilar Symbolic Models for Digital Control Systems". W Computer Aided Verification, 362–77. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31424-7_28.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Verification of control systems"

Araiza-Illan, Dejanira, Kerstin Eder i Arthur Richards. "Formal verification of control systems' properties with theorem proving". W 2014 UKACC International Conference on Control (CONTROL). IEEE, 2014. http://dx.doi.org/10.1109/control.2014.6915147.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Kumar, R., i B. H. Krogh. "Heterogeneous verification of embedded control systems". W 2006 American Control Conference. IEEE, 2006. http://dx.doi.org/10.1109/acc.2006.1657445.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Jin, Xiaoqing, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda i Ken Butts. "Powertrain control verification benchmark". W HSCC'14: 17th International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2562059.2562140.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Fang, Huixing, Jian Guo, Huibiao Zhu i Jianqi Shi. "Formal Verification and Simulation: Co-verification for Subway Control Systems". W 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2012. http://dx.doi.org/10.1109/tase.2012.11.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Roohi, Nima, Yu Wang, Matthew West, Geir E. Dullerud i Mahesh Viswanathan. "Statistical Verification of the Toyota Powertrain Control Verification Benchmark". W HSCC '17: 20th International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3049797.3049804.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Garavello, Mauro. "Verification Theorems for HJB equations". W Control Systems: Theory, Numerics and Applications. Trieste, Italy: Sissa Medialab, 2006. http://dx.doi.org/10.22323/1.018.0021.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Anand, Mahathi, Vishnu Murali, Ashutosh Trivedi i Majid Zamani. "Formal verification of hyperproperties for control systems". W CPS-IoT Week '21: Cyber-Physical Systems and Internet of Things Week 2021. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3457335.3461715.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Tiwari, Ashish. "Bounded Verification of Adaptive Flight Control Systems". W AIAA Infotech@Aerospace 2010. Reston, Virigina: American Institute of Aeronautics and Astronautics, 2010. http://dx.doi.org/10.2514/6.2010-3362.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Fainekos, Georgios E., i George J. Pappas. "MTL robust testing and verification for LPV systems". W 2009 American Control Conference. IEEE, 2009. http://dx.doi.org/10.1109/acc.2009.5159969.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Wang, Li, i Yu Wensheng. "Systems safety verification by boundary variation analysis". W 2015 34th Chinese Control Conference (CCC). IEEE, 2015. http://dx.doi.org/10.1109/chicc.2015.7260097.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Verification of control systems"

May, William B., i George E. Kelly. Verification of public domain control algorithms for building energy management and control systems. Gaithersburg, MD: National Bureau of Standards, 1985. http://dx.doi.org/10.6028/nbs.ir.85-3285.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Mittelsteadt, Matthew. AI Verification: Mechanisms to Ensure AI Arms Control Compliance. Center for Security and Emerging Technology, luty 2021. http://dx.doi.org/10.51593/20190020.

Pełny tekst źródła

Streszczenie:

The rapid integration of artificial intelligence into military systems raises critical questions of ethics, design and safety. While many states and organizations have called for some form of “AI arms control,” few have discussed the technical details of verifying countries’ compliance with these regulations. This brief offers a starting point, defining the goals of “AI verification” and proposing several mechanisms to support arms inspections and continuous verification.

Style APA, Harvard, Vancouver, ISO itp.

Podvig, Pavel, Markus Schiller, Amy Woolf, Christine Parthemore, Almudena Azcárate Ortega, Dmitry Stefanovich i Decker Eveleth. Exploring Options for Missile Verification. Redaktor Pavel Podvig. The United Nations Institute for Disarmament Research, marzec 2022. http://dx.doi.org/10.37559/wmd/22/misver/01.

Pełny tekst źródła

Streszczenie:

Missiles are becoming an increasingly prominent element of military arsenals, but the system of arms control that helped provide a check on the missile arms race is under considerable stress. Addressing this challenge will require developing new approaches to missile verification. This report covers various aspects of verification arrangements that could be applied to missiles. The authors look at the experience of past arms control and disarmament efforts, provide an overview of existing verification tools, and initiate a discussion of potential arrangements that could make future arms control agreements possible. The general conclusion of the report is that there is a variety of options to consider. Most verification arrangements would require a fairly high level of transparency, but that is what makes them stronger and more reliable. The path to building an effective verification arrangement is to design it in a way that facilitates cooperation and transparency.

Style APA, Harvard, Vancouver, ISO itp.

Raksincharoensak, Pongsathorn, Yutaka Ofuji, Motoki Shino i Masao Nagai. Experimental Study on Intelligent Driving Assistance System by Using Direct Yaw Moment Control~Lane Keeping Control System Verification by Actual Driving Test. Warrendale, PA: SAE International, maj 2005. http://dx.doi.org/10.4271/2005-08-0252.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

McNeece, S. G., i R. W. Truitt. System verification and validation plan for SY-101 Hydrogen Mitigation Test Project Data Acquisition and Control System (DACS-1). Office of Scientific and Technical Information (OSTI), wrzesień 1994. http://dx.doi.org/10.2172/10103601.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Krabill, Eleanor, Vivienne Zhang, Eric Lepowsky, Christoph Wirz, Alexander Glaser, Jaewoo Shin, Veronika Bedenko i Pavel Podvig. Menzingen Verification Experiment - Verifying the Absence of Nuclear Weapons in the Field. Redaktor Pavel Podvig. The United Nations Institute for Disarmament Research, lipiec 2023. http://dx.doi.org/10.37559/wmd/23/mve.

Pełny tekst źródła

Streszczenie:

The Menzingen Verification Experiment described in this report was designed to test practical procedures for verifying the absence of nuclear weapons at a storage site. The experiment, which was conducted on 8 March 2023, was organized by UNIDIR in partnership with the Swiss Armed Forces, Spiez Laboratory, Princeton University’s Program on Science and Global Security, and the Open Nuclear Network. The project was supported by the Governments of the Kingdom of the Netherlands, Norway, and Switzerland. The experiment modelled an on-site inspection of a nuclear weapons storage site, represented by a former air defence site near Menzingen, Switzerland. In preparation for the experiment, UNIDIR developed a model protocol governing the inspection activities. Together with its partners, it designed procedures to confirm the non-nuclear nature of the inspected items, including radiation measurements with active sources, and arranged for the acquisition of satellite imagery of the site. The scenario developed for the experiment assumed that the inspection was conducted as part of an agreement that requires the parties to remove all nuclear weapons from storage sites associated with military bases that host nuclear-capable delivery systems. The inspection procedures used in the experiment were modelled on those developed for the Conventional Forces in Europe Treaty and New START. The Menzingen Verification Experiment demonstrated in practice the viability of the approach to nuclear disarmament based on removing nuclear weapons from their delivery systems. It provided an opportunity to test in practice specific verification procedures and techniques, provided valuable insights into the challenges that can be encountered during an on-site inspection, and identified promising new approaches to verification that can create political space for arms control and disarmament initiatives.

Style APA, Harvard, Vancouver, ISO itp.

Ermi, A. M., G. J. Gauck i S. O. Smith. System verification and validation plan for SY-101 hydrogen mitigation test project data acquisition and control system (DACS-1). Revision 1. Office of Scientific and Technical Information (OSTI), czerwiec 1995. http://dx.doi.org/10.2172/408579.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Findlay, Trevor. The Role of International Organizations in WMD Compliance and Enforcement: Autonomy, Agency, and Influence. The United Nations Institute for Disarmament Research, grudzień 2020. http://dx.doi.org/10.37559/wmd/20/wmdce9.

Pełny tekst źródła

Streszczenie:

Major multilateral arms control and disarmament treaties dealing with weapons of mass destruction (WMD) often have mandated an international organization to monitor and verify State party compliance and to handle cases of non-compliance. There are marked differences in the mandates and technical capabilities of these bodies. Nonetheless, they often face the same operational and existential challenges. This report looks at the role of multilateral verification bodies, especially their secretariats, in dealing with compliance and enforcement, the extent to which they achieve “agency” and “influence” in doing so, and whether and how such capacities might be enhanced. In WMD organizations it is the governing bodies that make decisions about noncompliance and enforcement. The role of their secretariats is to manage the monitoring and verification systems, analyse the resulting data – and data from other permitted sources – and alert their governing bodies to suspicions of non-compliance. Secretariats are expected to be impartial, technically oriented and professional. It is when a serious allegation of non-compliance arises that their role becomes most sensitive politically and most vital. The credibility of Secretariats in these instances will depend on the agency and influence that they have accumulated. There are numerous ways in which an international secretariat can position itself for maximum agency and influence, essentially by making itself indispensable to member States and the broader international community. It can achieve this by engaging with multiple stakeholders, aiming for excellence in its human and technical resources, providing timely and sustainable implementation assistance, ensuring an appropriate organizational culture and, perhaps most of all, understanding that knowledge is power. The challenge for supporters of international verification organizations is to enhance those elements that give them agency and influence and minimize those that lead to inefficiencies, dysfunction and, most damaging of all, political interference in verification and compliance judgements.

Style APA, Harvard, Vancouver, ISO itp.

Mayer, Barbara A., i Monica M. Lu. Guidelines for Formal Verification Systems. Fort Belvoir, VA: Defense Technical Information Center, kwiecień 1989. http://dx.doi.org/10.21236/ada385357.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

STEWART, J. L. Technical safety requirements control level verification. Office of Scientific and Technical Information (OSTI), maj 1999. http://dx.doi.org/10.2172/782336.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!