Shaked
Shaked Ben-Or, Kfar Shmaryahu IL
Patent application number | Description | Published |
---|---|---|
20090167567 | METHOD FOR AVOIDING COLLISIONS AND A COLLISION AVOIDANCE SYSTEM - A collision avoidance system, the system comprises a tactile interface device; the tactile interface device comprises a connecting element shaped such as to be worn around a thigh of a pilot; wherein the connecting element is coupled to multiple tactile sensory devices; wherein when the connecting element is worn around a thigh of the pilot the tactile sensory devices are in tactile communication with the pilot; wherein the multiple tactile sensory devices are controlled by a controller; wherein if another plane presents a threat of collision, the controller activates at least one tactile sensory device out of the multiple tactile sensory devices such as to provide a tactile maneuver indication that is indicative of a collision avoidance maneuver. | 07-02-2009 |
Shaked Flur, Haifa IL
Patent application number | Description | Published |
---|---|---|
20110022373 | MODEL CHECKING OF LIVENESS PROPERTY IN A PHASE ABSTRACTED MODEL - Phase abstraction may be utilized to increase efficiency of model checking techniques. A liveness property may be checked in respect to a phase abstracted model by modifying the liveness property in accordance with the phase abstracted model. A fairness property may be modified to ensure that the fairness property is held by the model checker. A counter-example produced by a model checker is modified to be in accordance to an original model. The counter-example comprises a repetitive behavior. The counter-example may be modified to shorten the repetitive behavior or to apply the repetitive behavior in an earlier cycle of the counter-example. | 01-27-2011 |
Shaked Flur, D.n. Misgav IL
Patent application number | Description | Published |
---|---|---|
20090326886 | Formal Verification of Models Using Concurrent Model-Reduction and Model-Checking - Formal verification of models using concurrent model-reduction and model-checking. For example, a system for formal verification of models includes: one or more model reducers to reduce a model; one or more model checkers to check the model, wherein at least one of the model reducers is to run concurrently with at least one of the model checkers; and a model synchronizer to synchronize information between at least one of the model reducers and at least one of the model checkers. | 12-31-2009 |
20110144958 | DETECTION OF DESIGN REDUNDANCY - Augmented-domain simulation, such as ternary-based simulation may be utilized to approximate a reachability analysis of a model being model checked. The approximated reachability analysis may be utilized to detect design redundancies and modify the model to remove such redundancies. Design redundancies may include unobservable variables, mergeable variables and utilization of surplus domains. | 06-16-2011 |
Shaked Flur, Misgav IL
Patent application number | Description | Published |
---|---|---|
20120203535 | Formal Verification of Models Using Concurrent Model-Reduction and Model-Checking - Formal verification of models using concurrent model-reduction and model-checking. For example, a system for formal verification of models includes: one or more model reducers to reduce a model; one or more model checkers to check the model, wherein at least one of the model reducers is to run concurrently with at least one of the model checkers; and a model synchronizer to synchronize information between at least one of the model reducers and at least one of the model checkers. | 08-09-2012 |
Shaked Shamah, Jerusalem IL
Patent application number | Description | Published |
---|---|---|
20160046290 | RECOGNITION AND PREDICTION OF LANE CONSTRAINTS AND CONSTRUCTION AREAS IN NAVIGATION - Systems and methods use cameras to provide autonomous and/or driver-assist navigation features. In some implementations, techniques for predicting the location of first roadway lane constraints are provided. The system may receive multiple images of a roadway in a vicinity of a vehicle, recognize a first roadway lane constraint, and, when lane prediction conditions are determined to be satisfied, predict a location of a second roadway lane constraint. In some implementations, techniques for detecting and responding to construction zones are provided. The system may receive multiple images of a roadway in a vicinity of a vehicle, recognize indicators of a construction zone in the images, determine that the vehicle is proximate to a construction zone, and output a signal indicating that the vehicle is proximate to a construction zone. | 02-18-2016 |