检索结果-内蒙古大学图书馆

Active Fault Isolation in MIMO Systems

IFAC Proceedings Volumes 2014年第3期47卷 8012-8017页

作者： Henrik Niemann Niels Kjølstad Poulsen Department of Electrical Engineering Automation and Control Technical University of Denmark Building 326 DK-2800 Kgs. Lyngby Denmark Dept. of Applied Mathematics and Computer Science Section for Dynamical Systems Technical University of Denmark DK-2800 Kgs. Lyngby Denmark

Active fault isolation of parametric faults in closed-loop MIMO systems are considered in this paper. The fault isolation consists of two steps. The first step is group-wise fault isolation. Here, a group of faults is isolated from other possible faults in the system. The group-wise fault isolation is based directly on the input/output signals applied for the fault detection. It is guaranteed that the fault group includes the fault that had occurred in the system. The second step is individual fault isolation in the fault group. Both types of isolation are obtained by applying dedicated auxiliary inputs and the associated residual outputs.

关键词： Active fault isolation MIMO systems YJBK parameterization

来源：评论

学校读者我要写书评

暂无评论

Author Correction: The power of genetic diversity in genome-wide association studies of lipids

引用

Nature 2023年第7965期618卷 E19-E20页

作者： Sarah E Graham Shoa L Clarke Kuan-Han H Wu Stavroula Kanoni Greg J M Zajac Shweta Ramdas Ida Surakka Ioanna Ntalla Sailaja Vedantam Thomas W Winkler Adam E Locke Eirini Marouli Mi Yeong Hwang Sohee Han Akira Narita Ananyo Choudhury Amy R Bentley Kenneth Ekoru Anurag Verma Bhavi Trivedi Hilary C Martin Karen A Hunt Qin Hui Derek Klarin Xiang Zhu Gudmar Thorleifsson Anna Helgadottir Daniel F Gudbjartsson Hilma Holm Isleifur Olafsson Masato Akiyama Saori Sakaue Chikashi Terao Masahiro Kanai Wei Zhou Ben M Brumpton Humaira Rasheed Sanni E Ruotsalainen Aki S Havulinna Yogasudha Veturi QiPing Feng Elisabeth A Rosenthal Todd Lingren Jennifer Allen Pacheco Sarah A Pendergrass Jeffrey Haessler Franco Giulianini Yuki Bradford Jason E Miller Archie Campbell Kuang Lin Iona Y Millwood George Hindy Asif Rasheed Jessica D Faul Wei Zhao David R Weir Constance Turman Hongyan Huang Mariaelisa Graff Anubha Mahajan Michael R Brown Weihua Zhang Ketian Yu Ellen M Schmidt Anita Pandit Stefan Gustafsson Xianyong Yin Jian'an Luan Jing-Hua Zhao Fumihiko Matsuda Hye-Mi Jang Kyungheon Yoon Carolina Medina-Gomez Achilleas Pitsillides Jouke Jan Hottenga Gonneke Willemsen Andrew R Wood Yingji Ji Zishan Gao Simon Haworth Ruth E Mitchell Jin Fang Chai Mette Aadahl Jie Yao Ani Manichaikul Helen R Warren Julia Ramirez Jette Bork-Jensen Line L Kårhus Anuj Goel Maria Sabater-Lleal Raymond Noordam Carlo Sidore Edoardo Fiorillo Aaron F McDaid Pedro Marques-Vidal Matthias Wielscher Stella Trompet Naveed Sattar Line T Møllehave Betina H Thuesen Matthias Munz Lingyao Zeng Jianfeng Huang Bin Yang Alaitz Poveda Azra Kurbasic Claudia Lamina Lukas Forer Markus Scholz Tessel E Galesloot Jonathan P Bradfield E Warwick Daw Joseph M Zmuda Jonathan S Mitchell Christian Fuchsberger Henry Christensen Jennifer A Brody Mary F Feitosa Mary K Wojczynski Michael Preuss Massimo Mangino Paraskevi Christofidou Niek Verweij Jan W Benjamins Jorgen Engmann Rachel L Kember Roderick C Slieker Ken Sin Lo Nuno R Zilhao Phuong Le Marcus E Kleber Graciela E Delgado Shaofeng Huo Dai Department of Internal Medicine Division of Cardiology University of Michigan Ann Arbor MI USA. VA Palo Alto Health Care System Palo Alto CA USA. Department of Medicine Division of Cardiovascular Medicine Stanford University School of Medicine Stanford CA USA. Department of Computational Medicine and Bioinformatics University of Michigan Ann Arbor MI USA. William Harvey Research Institute Barts and the London School of Medicine and Dentistry Queen Mary University of London London UK. Department of Biostatistics and Center for Statistics Genetics University of Michigan Ann Arbor MI USA. Department of Genetics Perelman School of Medicine University of Pennsylvania Philadelphia PA USA. Clinical Pharmacology William Harvey Research Institute Barts and The London School of Medicine and Dentistry Queen Mary University of London London UK. Endocrinology Boston Children's Hospital Boston MA USA. Medical and Population Genetics Broad Institute Cambridge MA USA. Department of Genetic Epidemiology University of Regensburg Regensburg Germany. McDonnell Genome Institute and Department of Medicine Washington University St Louis MO USA. Department of Precision Medicine Division of Genome Science National Institute of Health Cheongju-si South Korea. Tohoku Medical Megabank Organization Tohoku University Sendai Japan. Sydney Brenner Institute for Molecular Bioscience Faculty of Health Sciences University of the Witwatersrand Johannesburg South Africa. Center for Research on Genomics and Global Health National Human Genome Research Institute National Institutes of Health Bethesda MD USA. Blizard Institute Barts and the London School of Medicine and Dentistry Queen Mary University of London London UK. Wellcome Sanger Institute Hinxton UK. Department of Epidemiology Emory University Rollins School of Public Health Atlanta GA USA. Atlanta VA Health Care System Decatur GA USA. Malcolm Randall VA Medical Center Gainesville FL USA. Division of Vascular Sur

来源：评论

学校读者我要写书评

暂无评论

A user interface for vision sensor based indirect teaching of a robotic manipulator

引用

Journal of Institute of control, Robotics and Systems 2013年第10期19卷 921-927页

作者： Kim, Tae-Woo Lee, Hoo-Man Kim, Joong-Bae Computer Software Engineering University of Science and Technology Korea Republic of Intelligence and Robot Control Research Section Eletronics and Telecommunications research institute Korea Republic of

This paper presents a user interface for vision based indirect teaching of a robotic manipulator with Kinect and IMU (Inertial Measurement Unit) sensors. The user interface system is designed to control the manipulator more easily in joint space, Cartesian space and tool frame. We use the skeleton data of the user from Kinect and Wrist-mounted IMU sensors to calculate the user's joint angles and wrist movement for robot control. The interface system proposed in this paper allows the user to teach the manipulator without a pre-programming process. This will improve the teaching time of the robot and eventually enable increased productivity. Simulation and experimental results are presented to verify the performance of the robot control and interface system. © ICROS 2013.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

A second update on mapping the human genetic architecture of COVID-19

引用

Nature 2023年第7977期621卷 E7-E26页

作者： Masahiro Kanai Christine Stevens Benjamin M. Neale Mark Daly Andrea Ganna Amy Trankiem Mary K. Balaconis Samuli Ripatti Lindo Nkambul Mark J. Daly Sam Bryant Matthew Solomonson Shea J. Andrews Mattia Cordioli Juha Karjalainen Juha Mehtonen Matti Pirinen Andrea Corbetta Bradley Jermy Kati Donner Katja Kivinen Aarno Palotie Mari Kaunisto Kumar Veerapen Konrad J. Karczewski Alicia R. Martin Elizabeth G. Atkinson Kristin Tsuo Nikolas Baya Rahul Gupta Raymond K. Walters Duncan S. Palmer Gopal Sarma Nathan Cheng Wenhan Lu Claire Churchhouse Jacqueline I. Goldstein Daniel King Wei Zhou Cotton Seed Hilary Finucane F. Kyle Satterstrom Gita A. Pathak Akiko Iwasaki Karolina Chwialkowska Karolina Chwiałkowska Brooke N. Wolford Hajar Fauzan Ahmad Shea Andrews Kathrin Aprile von Hohenstaufen Puoti Palwende R. Boua Guillaume Butler-Laporte Celia M. T. Greenwood Bartha M. Knoppers Mark Lathrop Carmen L. Cadilla Francesca Colombo Nicole Dueker Chloe Kirk Atanu Kumar Dutta Yasser M. El-Sherbiny Jehan J. El-Jawhari Doaa Shahin Ahmed Elzeiny Tamer A. Mansour Madonna M. Eltoukhy Attia A. S. Mohamed Sahar Esmaeeli Annika Faucon Israel Fernández Cadenas Israel Fernandez-Cadenas Laia Llucià-Carol Natalia Cullell Elena Muiño Jara Cárcel-Márquez Margherita Francescatto Laurent Francioli Lindokuhle Nkambule Jatin Arora Soumya Raychaudhuri Caroline Cusick Lude Franke Macarena Fuentes Macarena Fuentes-Guajardo David Gómez Cabrero Emi N. Harry Philip Jansen József L. Szentpéteri Réka Várnai Elżbieta Kaja Athanasios Kousathanas Dorote Pasko Mark J. Caulfield Alex Stuckey Christopher A. Odhams Susan Walker Daniel Rhodes Richard H. Scott Loukas Moutsianas Afshan Siddiq Peter Goddard Sally Donovan Tala Zainy Fiona Maleady-Crowe Linda Todd Shahla Salehi Greg Elgar Georgia Chan Prabhu Arumugam Christine Patch Augusto Rendon Tom A. Fowler Jose E. Krieger Sanjay K. Patel Audrey Lemaçon Sophie Limou Pietro Lió Eirini Marouli Charles Hinds Minttu M. Marttila Carolina Medina-Gómez Isabelle Migeotte Soumyajit Mondal Andrés Moreno-Estrada Leire Moya Tomok Broad Institute of MIT and Harvard Cambridge MA USA Analytic and Translational Genetics Unit Massachusetts General Hospital Boston MA USA Program in Medical and Population Genetics Broad Institute of MIT and Harvard Cambridge MA USA Department of Biomedical Informatics Harvard Medical School Boston MA USA Program in Bioinformatics and Integrative Genomics Harvard Medical School Boston MA USA Institute for Molecular Medicine Finland (FIMM) University of Helsinki Helsinki Finland Institute for Molecular Medicine Finland University of Helsinki Helsinki Finland Institute for Molecular Medicine Finland (FIMM) HiLIFE University of Helsinki Helsinki Finland Public Health Faculty of Medicine University of Helsinki Helsinki Finland Analytic & Translational Genetics Unit Massachusetts General Hospital Boston MA USA Stanley Center for Psychiatric Research & Program in Medical and Population Genetics Cambridge UK Institute for Molecular Medicine Finland (FIMM) Univerisity of Helsinki Helsinki Finland University of California San Francisco San Francisco CA USA Department of Molecular and Human Genetics Baylor College of Medicine Houston TX USA Program in Biological and Biomedical Sciences Harvard Medical School Boston MA USA Department of Psychiatry School of Medicine Yale University New Haven CT USA Veteran Affairs Connecticut Healthcare System West Haven CT USA Yale University New Haven CT USA Centre for Bioinformatics and Data Analysis Medical University of Bialystok Bialystok Poland Department of Computational Medicine and Bioinformatics University of Michigan Ann Arbor MI USA Faculty of Industrial Sciences and Technology Universiti Malaysia Pahang Pahang Malaysia Icahn School of Medicine at Mount Sinai New York NY USA Genolier Innovation Network and Hub Swiss Medical Network Genolier Healthcare Campus Genolier Switzerland Immediate Independent Multidisciplinary Med & Biotech Research Association Milan Italy Clinical Research Unit of Nanor

来源：评论

学校读者我要写书评

暂无评论

Acoustic radiation force impulse imaging: Method comparison and two-dimensional imaging

引用

Journal of Chemical and Pharmaceutical Research 2013年第12期5卷 327-331页

作者： Yin, Hao Guo, Dequan Liu, Dong C. Zhang, Congyao School of Computer Science Sichuan University No.24 South Section 1 1st Ring Road Chengdu China Control Engineering Chengdu University of Information Technology No.24 Block 1 Xuefu Road Chengdu China

Mechanical properties of tissue have long been exploited by the physician to diagnose disease by palpation of masses. Generally, lesions are stiffer than their surrounding tissue, which exhibit different characteristic response to acoustic radiation force excitation from the surrounding tissue. The Acoustic Radiation Force Impulse (ARFI) imaging generates images of localized displacements in tissue by using radiation force induced from long pulses with hundreds of cycles. The localized micron-scale displacements are tracked by correlation-based methods. The displacement is then used to explicitly determine the spatial distribution of the mechanical properties of the tissue. Normalized cross correlation has the best performance of time-delay estimation in ultrasonic signals. However, the acquired RF echo data are required to be up-sampled to GHz so as to give micron scale precision between lags. Consequently data processing is computationally expensive and not suitable to real-time application. In this paper, two time-domain methods (Loupas and Phase Zero) and one frequency-domain (Cross Spectrum) method are compared using both simulated echo signals and phantom signals obtained through medical ultrasound system. The 2D phantom imaging is also provided.

关键词： Tissue

来源：评论

学校读者我要写书评

暂无评论

Materials Science/Clinical Medi Cine: Epidermal devices for noninvasive, precise, and continuous mapping of macrovascular and microvascular blood flow

引用

Science Advances 2015年第9期1卷

作者： Webb, R. Chad Ma, Yinji Krishnan, Siddharth Li, Yuhang Yoon, Stephen Guo, Xiaogang Feng, Xue Shi, Yan Seidel, Miles Cho, Nam Heon Kurniawan, Jonas Ahad, James Sheth, Niral Kim, Joseph TaylorVI, James G. Darlington, Tom Chang, Ken Huang, Weizhong Ayers, Joshua Gruebele, Alexander Pielak, Rafal M. Slepian, Marvin J. Huang, Yonggang Gorbach, Alexander M. Rogers, John A. Department of Materials Science and Engineering Frederick Seitz Materials Research Laboratory University of Illinois at Urbana-Champaign UrbanaIL61801 United States Departments of Civil and Environmental Engineering Mechanical Engineering Center for Engineering and Health Skin Disease Research Center Northwestern University EvanstonIL60208 United States Department of Engineering Mechanics Center for Mechanics and Materials Tsinghua University Beijing100084 China Institute of Solid Mechanics Beihang University Beijing100191 China National Institute of Biomedical Imaging and Bioengineering National Institutes of Health BethesdaMD20892 United States College of Aerospace and Civil Engineering Harbin Engineering University Harbin150001 China State Key Laboratory of Mechanics and Control of Mechanical Structures Nanjing University of Aeronautics and Astronautics Nanjing210016 China Genomic Medicine Section Hematology Branch National Heart Lung and Blood Institute National Institutes of Health BethesdaMD20892 United States Department of Electrical and Computer Engineering Frederick Seitz Materials Research Laboratory University of Illinois at Urbana-Champaign UrbanaIL61801 United States L'Oreál California Research Center 953 Indiana Street San FranciscoCA94107 United States Department of Medicine Sarver Heart Center Department of Biomedical Engineering University of Arizona TucsonAZ85724 United States

Continuous monitoring of variations in blood flow is vital in assessing the status of microvascular and macrovascular beds for a wide range of clinical and research scenarios. Although a variety of techniques exist, most require complete immobilization of the subject, thereby limiting their utility to hospital or clinical settings. Those that can be rendered in wearable formats suffer from limited accuracy, motion artifacts, and other shortcomings that follow from an inability to achieve intimate, noninvasive mechanical linkage of sensors with the surface of the skin. We introduce an ultrathin, soft, skin-conforming sensor technology that offers advanced capabilities in continuous and precise blood flow mapping. Systematic work establishes a set of experimental procedures and theoretical models for quantitative measurements and guidelines in design and operation. Experimental studies on human subjects, including validation with measurements performed using state-of-the-art clinical techniques, demonstrate sensitive and accurate assessment of both macrovascular and microvascular flow under a range of physiological conditions. Refined operational modes eliminate long-term drifts and reduce power consumption, thereby providing steps toward the use of this technology for continuous monitoring during daily activities. © 2015 The Authors, some rights reserved.

关键词： Blood

来源：评论

学校读者我要写书评

暂无评论

Ultrasound lateral displacement and lateral strain estimation using a two-step strategy

引用

Journal of Chemical and Pharmaceutical Research 2013年第12期5卷 332-337页

作者： Zhang, Congyao Guo, Dequan Yin, Hao Liu, Dong C. Zhou, Xiaoming College of Computer Science Sichuan University No.24 South Section 1 Yihuan Road Chengdu China Control Engineering Chengdu University of Information Technology No.24 Block 1 Xuefu Road Chengdu China Department of Mechanical Engineering Neijiang Vocational and Technical College No.42 Dongtong Road Neijiang China

Ultrasound elastography has been shown to be useful technique in imaging information about the tissue's elastic moduli, which plays an important role in early diagnosis of several kinds of tumors. Usually, elastograms display only axial displacement and axial strain. Lateral displacement and strain estimation is difficult because there is no phase information and the precision of data is lacking too. Most of the lateral estimation methods previously reported are based on cross-correlation function (CCF). And several kinds of interpolations of high computational cost are often used to obtain more accurate results. In this paper, a two-step method combining two-dimensional sum of squared differences (SSD) and cubic spline representation for lateral displacement and strain estimation is introduced. This method can result directly in accurate and continuous estimates with no need for interpolation. computer simulations and phantom experiments are performed to investigate the performance of proposed method in terms of bias and jitter errors and image quality.

关键词： Interpolation

来源：评论

学校读者我要写书评

暂无评论

Highlights from the 11th ISCB Student Council Symposium 2015. Dublin, Ireland. 10 July 2015

引用

BMC bioinformatics 2016年第3期17 Suppl 3卷 95页

作者： Katie Wilkins Mehedi Hassan Margherita Francescatto Jakob Jespersen R. Gonzalo Parra Bart Cuypers Dan DeBlasio Alexander Junge Anupama Jigisha Farzana Rahman Griet Laenen Sander Willems Lieven Thorrez Yves Moreau Nagarajan Raju Sonia Pankaj Chothani C. Ramakrishnan Masakazu Sekijima M. Michael Gromiha Paddy J Slator Nigel J Burroughs Przemysław Szałaj Zhonghui Tang Paul Michalski Oskar Luo Xingwang Li Yijun Ruan Dariusz Plewczynski Giulia Fiscon Emanuel Weitschek Massimo Ciccozzi Paola Bertolazzi Giovanni Felici Pieter Meysman Manu Vanaerschot Maya Berg Hideo Imamura Jean-Claude Dujardin Kris Laukens Westa Domanova James R. Krycer Rima Chaudhuri Pengyi Yang Fatemeh Vafaee Daniel J. Fazakerley Sean J. Humphrey David E. James Zdenka Kuncic Plant Pathology and Plant-Microbe Biology Section School of Integrative Plant Science Cornell University Ithaca USA Graduate Field of Computational Biology Cornell University Ithaca USA School of Computing & Mathematics University of South Wales Cardiff UK Department of Genome Biology for Neurodegenerative Diseases German Center for Neurodegenerative Diseases (DZNE) within the Helmholtz Association ᅟ Germany Department of Surgery Massachusetts General Hospital The Broad Institute of MIT and Harvard Boston USA Department of Systems Biology Technical University of Denmark Kemitorvet Denmark Protein Physiology Lab Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires Buenos Aires Argentina Molecular Parasitology Unit (MPU) Institute of Tropical Medicine Antwerp Belgium Advanced Database Research and Modeling (ADReM) research group University of Antwerp Antwerpen Belgium Department of Computer Science University of Arizona Tucson USA Department of Veterinary Clinical and Animal Sciences Center for non-coding RNA in Technology and Health University of Copenhagen Copenhagen Denmark University College Dublin Dublin Ireland Department of Electrical Engineering (ESAT) STADIUS Center for Dynamical Systems Signal Processing and Data Analytics KU Leuven Leuven Belgium Minds Medical IT Department Leuven Belgium Scientific Institute of Public Health (WIV-ISP) Platform of Biotechnology and Molecular Biology (PBB) Brussels Belgium Department of Development and Regeneration @ Kulak KU Leuven Kortrijk Belgium Department of Biotechnology Bhupat and Jyoti Metha School of Biosciences Indian Institute of Technology Madras Chennai India Philips Research North America Briarcliff Manor USA Global Scientific Information and Computing Center (GSIC) Tokyo Institute of Technology Tokyo Japan Systems Biology Centre University of Warwick Senate House Coventry UK Systems Biology Doctoral Training Centre University of Warwick Senate House Coventry UK Center for B

A1 Highlights from the eleventh ISCB Student Council Symposium 2015 Katie Wilkins, Mehedi Hassan, Margherita Francescatto, Jakob Jespersen, R. Gonzalo Parra, Bart Cuypers, Dan DeBlasio, Alexander Junge, Anupama Jigisha, Farzana Rahman O1 Prioritizing a drug’s targets using both gene expression and structural similarity Griet Laenen, Sander Willems, Lieven Thorrez, Yves Moreau O2 Organism specific protein-RNA recognition: A computational analysis of protein-RNA complex structures from different organisms Nagarajan Raju, Sonia Pankaj Chothani, C. Ramakrishnan, Masakazu Sekijima; M. Michael Gromiha O3 Detection of Heterogeneity in Single Particle Tracking Trajectories Paddy J Slator, Nigel J Burroughs O4 3D-NOME: 3D NucleOme Multiscale Engine for data-driven modeling of three-dimensional genome architecture Przemysław Szałaj, Zhonghui Tang, Paul Michalski, Oskar Luo, Xingwang Li, Yijun Ruan, Dariusz Plewczynski O5 A novel feature selection method to extract multiple adjacent solutions for viral genomic sequences classification Giulia Fiscon, Emanuel Weitschek, Massimo Ciccozzi, Paola Bertolazzi, Giovanni Felici O6 A Systems Biology Compendium for Leishmania donovani Bart Cuypers, Pieter Meysman, Manu Vanaerschot, Maya Berg, Hideo Imamura, Jean-Claude Dujardin, Kris Laukens O7 Unravelling signal coordination from large scale phosphorylation kinetic data Westa Domanova, James R. Krycer, Rima Chaudhuri, Pengyi Yang, Fatemeh Vafaee, Daniel J. Fazakerley, Sean J. Humphrey, David E. James, Zdenka Kuncic

关键词： Visceral Leishmaniasis Feature Selection Method Frequent Itemset Mining Leishmania Donovani Student Council

来源：评论

学校读者我要写书评

暂无评论

Stochastic Fusion of Heterogeneous Multisensor Information for Robust Data-to-Decision

Stochastic Fusion of Heterogeneous Multisensor Information f...

引用

International Conference on Information Fusion

作者： Xin CHEN Anne-Laure Jousselme Pierre Valin T. Kirubarajan Department of Electrical and Computer Engineering McMaster University Command Control and Intelligence (C2I) Section Defence Research and Development Canada-Valcartier

ISBN: (纸本)9781479902842

In this paper, based on the measure-theoretic probability theory and the theory of stochastic differential equation (SDE), a stochastic fusion framework is proposed for the heterogeneous sensor network for the purpose of robust decision making. In this framework, for each sensor, its sample space and the corresponding σ-algebra are defined. Then, random variables, which are designed to meet the requirements of the operation in the battle field, are defined over the pairs of sample space and its σ-algebra. After that, the conditional expectation is taken for those random variables conditional on the union of σ-algebras to finish the information fusion process. Furthermore, to make the decision making process more robust, the undesired uncertainty in the fused information is hedged out based on the theory of SDEs, before the fused information is used for the decision making.

关键词： Hard/soft fusion Heterogeneous sensor network Bayesian decision Robust

来源：评论

学校读者我要写书评

暂无评论

Abstractions for mechanical systems

Abstractions for mechanical systems

引用

4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Non Linear control, LHMNLC 2012

作者： Sloth, Christoffer Wisniewski, Rafael Department of Computer Science Aalborg University 9220 Aalborg East Denmark Section of Automation and Control Aalborg University 9220 Aalborg East Denmark

ISBN: (纸本)9783902823083

This paper proposes a method for discretizing the state space of mechanical systems. This is a first attempt in using reduction techniques for mechanical systems in the partitioning of the state space. The method relies on a combination of transversal and tangential manifolds for the conservative mechanical system. The tangential manifolds are generated using constants of motion, which can be derived from Noether's theorem. The transversal manifolds are subsequently generated on a reduced space given by the Routhian, via action-angle coordinates. The method fully applies for integrable systems. We focus on a particular aspect of abstraction - partitioning the state space, as existing methods can be applied on the discretized state space to obtain an automata-based model. The contribution of the paper is to show that well-known reduction methods can be used to generate abstract models, which can be used for formal verification. © 2012 IFAC.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：