Patents Assigned to The MathWorks, Inc.
  • PARALLEL FILTERING OF LARGE TIME SERIES OF DATA FOR FILTERS HAVING RECURSIVE DEPENDENCIES
    Publication number: 20190384848
    Abstract: Filtering apparatus and methods associated with filtering large time series of data are described. A filtering process containing recursive dependencies can be organized as a series of computational tasks, at least some of which can be performed in parallel. Because of parallel execution of some tasks, an amount of time for filtering large time series of data with a filter exhibiting recursive data dependencies can be reduced significantly.
    Type: Application
    Filed: June 13, 2018
    Publication date: December 19, 2019
    Applicant: The MathWorks, Inc.
    Inventor: Hatem Helal
  • Identification and simulation of multiple subgraphs in multi-domain graphical modeling environment
    Patent number: 10503844
    Abstract: A Discrete Event System model created or provided in a time domain modeling and simulation environment and/or an event domain modeling and simulation environment may be divided into multiple independent regions, e.g. “subgraphs”, to achieve interleaved execution of the components from different domains. The subgraphs are automatically identified by the modeling and simulation environment during the compilation. Each subgraph consists of one or more interconnected event-driven components. Each subgraph is associated with an event calendar that controls the execution of the associated subgraph. Such multiple event calendar design enables multi-domain simulation, where event-driven components modeled by an event domain modeling environment and time-driven components modeled by a time domain modeling environment are simulated in an integrated fashion.
    Type: Grant
    Filed: December 30, 2013
    Date of Patent: December 10, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Wei Li, John Edward Ciolfi, Michael I. Clune
  • Tentative model components
    Patent number: 10460047
    Abstract: A method may include causing a model, including a set of core model elements and a set of diagnostic model elements, to be executed. The set of diagnostic model elements may be associated with a conditional trigger-point. The conditional trigger-point may be associated with a condition of the model for triggering the conditional trigger-point. The method may include determining that the condition of the model has been satisfied. The method may include causing the set of diagnostic model elements to be displayed via a user interface based on determining that the condition of the model has been satisfied. The set of diagnostic model elements may not have been displayed, during execution of the model, prior to determining that the condition of the model has been satisfied.
    Type: Grant
    Filed: February 27, 2015
    Date of Patent: October 29, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Joseph R. Bienkowski, Pieter J. Mosterman, Jay Ryan Torgerson
  • RUN-TIME OR COMPILE-TIME ERROR SOLUTIONS FOR LOCATING MISSING PROGRAM ELEMENTS IN A PROGRAMMING ENVIRONMENT
    Publication number: 20190324887
    Abstract: Methods and systems associated with a programming environment are described that provide automated or semi-automated recovery during run-time or compile-time operation in response to attempts to access a program element that is not in a working folder or in a folder location for which a path has been specified for accessing the program element.
    Type: Application
    Filed: April 18, 2018
    Publication date: October 24, 2019
    Applicant: The MathWorks, Inc.
    Inventors: Ryan M. Santos, Jason D. Breslau
  • Methods and systems for analyzing datasets
    Patent number: 10445341
    Abstract: Computer-implemented methods are provided for analyzing datasets. Consistent with disclosed embodiments, a computing system may be configured to select a cluster from clusters partitioning the dataset. The clusters may include a subset of the dataset, and may be associated with a current medoid of the cluster and a current cost of the cluster. The computing system may determine a new cost of the selected cluster and a new medoid of the selected cluster based on a matrix with rows corresponding to data in a subset of the cluster. The columns may correspond to data in the dataset or only to data in the cluster. The computer system may replace the current medoid of the selected cluster with the new medoid of the selected cluster based on the new cost of the selected cluster. The computer system may output the cluster information to determine a structure of the dataset.
    Type: Grant
    Filed: June 9, 2014
    Date of Patent: October 15, 2019
    Assignee: The MathWorks, Inc.
    Inventor: Andrew Matteson
  • Bidomain simulator
    Patent number: 10430532
    Abstract: A method, performed by a computer device, may include selecting one or more input and output points in an executable graphical model in a modeling application and simulating the executable graphical model over a plurality of time points. The method may further include generating a time domain response plot for the executable graphical model based on the simulating; obtaining matrices of partial derivatives based on the selected one or more input and output points at particular time points of the plurality of time points; generating a frequency domain response plot for the executable graphical model based on the obtained matrices of partial derivatives; and generating a bidomain simulator user interface, the bidomain simulator user interface including the generated time domain response plot and the generated frequency domain response plot.
    Type: Grant
    Filed: March 16, 2016
    Date of Patent: October 1, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Zhi Han, Fu Zhang, Murali K. Yeddanapudi, Pieter J. Mosterman
  • Systems and methods for analyzing violations of coding rules
    Patent number: 10423518
    Abstract: Systems and methods automatically detect violations of coding rules of a coding standard in computer programming code. The systems and methods may mark the locations in the code where the violations are found. The coding rules may be mapped to code verification checks that check for undesired runtime behavior in the code. The systems and methods may identify the code verification check mapped to a given violation detected in the code. The systems and methods may apply that check to the code. If the check proves that the undesired runtime behavior will not occur, the violation may be marked as justified. If the check proves that the undesired runtime behavior will occur, the violation may be marked as not justified.
    Type: Grant
    Filed: April 27, 2016
    Date of Patent: September 24, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Stefan David, Patrick Munier, Alexandre De Barros, Bernd J. Kanamueller, Peter S. Szpak
  • Bidomain simulator
    Patent number: 10423732
    Abstract: A method, performed by a computer device, may include selecting one or more input and output points in an executable graphical model in a modeling application and simulating the executable graphical model over a plurality of time points. The method may further include generating a time domain response plot for the executable graphical model based on the simulating; obtaining matrices of partial derivatives based on the selected one or more input and output points at particular time points of the plurality of time points; generating a frequency domain response plot for the executable graphical model based on the obtained matrices of partial derivatives; and generating a bidomain simulator user interface, the bidomain simulator user interface including the generated time domain response plot and the generated frequency domain response plot.
    Type: Grant
    Filed: March 16, 2016
    Date of Patent: September 24, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Fu Zhang, Zhi Han, Murali K. Yeddanapudi, Pieter J. Mosterman
  • Systems and methods for generating code for models having messaging semantics
    Patent number: 10423390
    Abstract: A system and method may automatically generate computer programming code for an executable model having messaging semantics. The executable model may define messages that have fixed payloads, and that persist for only a determined time interval of a total execution or simulation time of the model. The model may establish message queues for storing messages. The standalone code may include code that establishes message services including the creation of message queues. The generated code may be compiled and deployed on a target device for execution.
    Type: Grant
    Filed: June 3, 2016
    Date of Patent: September 24, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Ramamurthy Mani, Devdatt Lad, Meera S. Atreyam
  • Extension of model-based design to identify and analyze impact of reliability information on systems and components
    Patent number: 10423884
    Abstract: Methods and devices for providing and using a technical computing environment (TCE) for receiving a TCE model that, when executed, simulates behavior of a dynamic physical system, and that represents one or more physical components and their respective reliability information in a block diagram model. Applications of the model include automated system-level datasheet and bill of materials generation, component reliability information discovery, fault and stress assertions, and identification of emergent faults.
    Type: Grant
    Filed: June 2, 2016
    Date of Patent: September 24, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Richard Hyde, Ebrahim M. Mestchian
  • Systems and methods for sharing resources having different data types
    Patent number: 10423733
    Abstract: A system and method generates optimized code for a source model. The system may include a resource sharing optimizer that evaluates the source model and replaces multiple model elements of the source model that are functionally equivalent with a single shared model element. The model elements replaced with the single shared model element may have different fixed point data types. The resource sharing optimizer may convert some of the fixed point data types to a common fixed point data type.
    Type: Grant
    Filed: April 14, 2016
    Date of Patent: September 24, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Girish Venkataramani, Yongfeng Gu, Rama Kokku, Sanmukh Rao Kuppannagari
  • Systems and methods for constructing and modifying computer models
    Patent number: 10417355
    Abstract: A system and method predicts one or more next steps during the construction or editing of a graphical model having executable semantics. The one or more next steps being valid actions according to the executable semantics and/or syntax of the graphical model. The system and method presents ghost versions of the one or more next steps on a display of the graphical model. In response to user selection of a given ghost version, the system and method changes the selected ghost version into a completed action at the graphical model. The system and system may also update an in-memory representation of the graphical model with the completed action. The in-memory representation supporting execution of the graphical model.
    Type: Grant
    Filed: March 13, 2015
    Date of Patent: September 17, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Jay R. Torgerson, Dennis J. Wilkinson
  • Clarity in model-based design
    Patent number: 10416842
    Abstract: A device may identify a primary model element of a set of model elements. The device may select one or more secondary model elements of the set of model elements. The one or more secondary model elements may be associated with the primary model element. The device may consolidate the one or more secondary model elements into a representation of the one or more secondary model elements. The representation of the one or more secondary model elements may be associated with the primary model element. The device may selectively de-consolidate the representation of the one or more secondary model elements based on detecting at least one of a user interaction or a run-time event.
    Type: Grant
    Filed: September 22, 2015
    Date of Patent: September 17, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Andrew C. Bartlett, Jay R. Torgerson
  • Reusable component in a modeling environment
    Patent number: 10394533
    Abstract: In an embodiment, a modeling component generated in a first modeling environment can be implemented in a second modeling environment. The modeling component is executed in the first modeling environment. A first behavior of the modeling component in the first modeling environment is obtained based on the executing. The modeling component is then executed in the second modeling environment. A second behavior of the modeling component in the second modeling environment is obtained based on the executing the modeling component in the second modeling environment. The first behavior is compared to the second behavior. Based on the comparing, it is verified that the second behavior of the modeling component complies with one or more modeling requirements of the second modeling environment. The second behavior of the modeling component may be implemented in the second modeling environment.
    Type: Grant
    Filed: September 30, 2013
    Date of Patent: August 27, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Xiaocang Lin, Peter Szpak
  • Methods and systems for analyzing discrete-valued datasets
    Patent number: 10394898
    Abstract: Methods and systems disclosed herein may be used to determine the structure of a dataset comprising discrete-valued data corresponding to features and items. In some embodiments, a device may receive a discrete-valued matrix with a first dimension corresponding to items and a second dimension corresponding to features. The device may calculate an engineered features set and a weights set for the matrix. The device may update the engineered features set using the weights set, and update the weights set using the updated engineered features set based on the mutual information between the matrix and one of the updated engineered features set. The device may receive a request indicating at least one of the engineered features set, identify items based on the matrix and the indicated at least one of the engineered features set, and provide a response based on the identified items.
    Type: Grant
    Filed: September 15, 2015
    Date of Patent: August 27, 2019
    Assignee: The MathWorks, Inc.
    Inventor: Andrew Matteson
  • Streaming on hardware-software platforms in model based designs
    Patent number: 10387584
    Abstract: A method may include receiving functional model information regarding a set of functional blocks associated with a functional model. The functional model may include a streaming algorithm for exchanging streaming data. The method may include receiving architectural model information regarding physical devices included in a target device from a hardware-software co-design platform. The physical devices may include a software based processing device and a hardware based processing device. The method may include mapping the functional blocks to the physical devices to allow the streaming data to be communicated between the software based processing device and the hardware based processing device. The method may include generating a streaming interface to model communication of the streaming data between the software based processing device and the hardware based processing device.
    Type: Grant
    Filed: December 3, 2014
    Date of Patent: August 20, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Katalin Maria Popovici, Rajiv Ghosh-Roy, Senthilkumar Manickavasagam, Wang Chen, Girish Venkataramani, Wei Zang, Abhijeet H. Gadkari, Matthew H. Fornero
  • System and method for performing model verification
    Patent number: 10387585
    Abstract: A system and method extends model verification through the creation of composite test objectives. A composite objective includes two or more logically or temporally combined standard or basic test objectives. The basic test objectives selected to form a composite test may be automatically generated by the system or method, or they may be custom defined. A composite test objective represents a new coverage objective that extends model coverage analysis beyond the coverage that is available with the basic test objectives. The system and method also automatically generates one or more test cases for achieving the composite objective. The test cases include input data values for the model, and may cause the specified logical or temporal combination of basic test objectives to evaluate to true at least once during simulation of the model or according to the temporal combination.
    Type: Grant
    Filed: December 29, 2014
    Date of Patent: August 20, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Dixit Manoj Gangadhar, William J. Aldrich, Amogh Margoor, Prahladavaradan Sampath
  • Optimization tracing
    Patent number: 10379821
    Abstract: A modeling environment is provided allowing a user to generate, from a source representation of a model, a target representation of a model and a listing of the optimization performed during generation of the target representation which is associated with the target representation or the source representation. The model may represent a system, such as a dynamic system. The source representation of the model may be a graphical or textual representation. In some embodiments a user may specify whether to implement the optimization.
    Type: Grant
    Filed: March 21, 2016
    Date of Patent: August 13, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Xiaocang Lin, Robert O. Aberg
  • Self-testing graphical component algorithm specification
    Patent number: 10372841
    Abstract: A system and method automatically ensures consistency among a design model and one or more test models that test the design model. The system may include a broker adapted to construct an interface specification. The interface specification identifies the interface of the design model, e.g., its external inputs, external outputs, and initialization states. It may also identify the outputs, inputs, and initialization setting objects of the test models. Proposed changes to the design model's interface may be captured by the broker, and applied to the design model and to the test models atomically. Proposed changes to a given test model that implicate the design model's interface also may be captured, and applied to the given test model, the other test models, and the design model atomically. Default behaviors may be defined for applying the proposed changes to the other test models and the design model.
    Type: Grant
    Filed: October 28, 2012
    Date of Patent: August 6, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Robert O. Aberg, Peter S. Szpak, Andrew C. Grace
  • Model ring component
    Patent number: 10365897
    Abstract: A system and method creates a plurality of different ring components for a referenced model included within a parent model. The ring components include values for one or more model-level, block-level, and signal-level attributes of the referenced model. One or more ring components are selected and assigned to the referenced model in the context of the parent model. During execution of the parent model, information from the selected ring component is accessed and used to control execution of the referenced model. During code generation for the parent model, information from the selected ring component is accessed and used to control the code generation process for the referenced model.
    Type: Grant
    Filed: May 23, 2012
    Date of Patent: July 30, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Mojdeh Shakeri, Michael D. Tocci, John E. Ciolfi, Ebrahim Mehran Mestchian, Pieter J. Mosterman